James G. Williams

Publication Activity (10 Years)

Years Active: 1984-1994
Publications (10 Years): 0

Publications

Arnon Rosenthal, James G. Williams, William R. Herndon, Bhavani M. Thuraisingham
A Fine-grained Access Control Model for Object-Oriented DBMSs. DBSec (1994)
Leonard J. LaPadula, James G. Williams
External consistency in a network environment. NSPW (1993)
James G. Williams
A shift in security modeling paradigms. NSPW (1993)
James G. Williams, Leonard J. LaPadula
Automated Support for External Consistency. CSFW (1993)
Marshall D. Abrams, Edward Amoroso, Leonard J. LaPadula, Teresa F. Lunt, James G. Williams
Report of an integrity research study group. Comput. Secur. 12 (7) (1993)
James G. Williams
Modeling Nondisclosure in Terms of the Subject-Instruction Stream. IEEE Symposium on Security and Privacy (1991)
Leonard J. LaPadula, James G. Williams
Toward a Universal Integrity Model. CSFW (1991)
James G. Williams
On the Formalization of Semantic Conventions. J. Symb. Log. 55 (1) (1990)
James G. Williams
Components of verification technology. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Billy G. Claybrook, Anne-Marie Claybrook, James G. Williams
Defining Database Views as Data Abstractions. IEEE Trans. Software Eng. 11 (1) (1985)
James G. Williams, Charles H. Applebaum
The Practical Verification System Project. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Charles H. Applebaum, James G. Williams
PVS - design for a practical verification system. ACM Annual Conference (1984)