James G. Williams

According to our database, James G. Williams authored at least 13 papers between 1984 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

A Fine-grained Access Control Model for Object-Oriented DBMSs.

Arnon Rosenthal, James G. Williams, William R. Herndon, Bhavani Thuraisingham

Proceedings of the Database Security, 1994

1993

Report of an integrity research study group.

Marshall D. Abrams, Edward Amoroso, Leonard J. LaPadula, Teresa F. Lunt, James G. Williams

Comput. Secur., 1993

A shift in security modeling paradigms.

James G. Williams

Proceedings of the Proceedings on the 1992-1993 Workshop on New Security Paradigms, 1993

External consistency in a network environment.

Leonard J. LaPadula, James G. Williams

Proceedings of the Proceedings on the 1992-1993 Workshop on New Security Paradigms, 1993

Automated Support for External Consistency.

James G. Williams, Leonard J. LaPadula

Proceedings of the 6th IEEE Computer Security Foundations Workshop, 1993

1991

Modeling Nondisclosure in Terms of the Subject-Instruction Stream.

James G. Williams

Proceedings of the 1991 IEEE Symposium on Security and Privacy, 1991

Toward a Universal Integrity Model.

Leonard J. LaPadula, James G. Williams

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

Instantiation Theory - On the Foundations of Automated Deduction

James G. Williams

Lecture Notes in Computer Science 518, Springer, ISBN: 3-540-54333-3, 1991

1990

On the Formalization of Semantic Conventions.

James G. Williams

J. Symb. Log., 1990

1985

Defining Database Views as Data Abstractions.

Billy G. Claybrook, Anne-Marie Claybrook, James G. Williams

IEEE Trans. Software Eng., 1985

Components of verification technology.

James G. Williams

ACM SIGSOFT Softw. Eng. Notes, 1985

The Practical Verification System Project.

James G. Williams, Charles H. Applebaum

ACM SIGSOFT Softw. Eng. Notes, 1985

1984

PVS - design for a practical verification system.

Charles H. Applebaum, James G. Williams

Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984