James G. Williams

13 papers B 1C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
1994 B conf
A Fine-grained Access Control Model for Object-Oriented DBMSs.
DBSec
Arnon Rosenthal, James G. Williams, William R. Herndon, Bhavani Thuraisingham
1993 C conf
A shift in security modeling paradigms.
NSPW
James G. Williams
1993 — conf
Automated Support for External Consistency.
CSFW
James G. Williams, Leonard J. LaPadula
1993 C conf
External consistency in a network environment.
NSPW
Leonard J. LaPadula, James G. Williams
1993 J jnl
Report of an integrity research study group.
Comput. Secur.
Marshall D. Abrams, Edward Amoroso, Leonard J. LaPadula, Teresa F. Lunt, James G. Williams
1991 — book
Instantiation Theory - On the Foundations of Automated Deduction
James G. Williams
1991 — conf
Modeling Nondisclosure in Terms of the Subject-Instruction Stream.
S&P
James G. Williams
1991 — conf
Toward a Universal Integrity Model.
CSFW
Leonard J. LaPadula, James G. Williams
1990 J jnl
On the Formalization of Semantic Conventions.
J. Symb. Log.
James G. Williams
1985 J jnl
Components of verification technology.
ACM SIGSOFT Softw. Eng. Notes
James G. Williams
1985 J jnl
Defining Database Views as Data Abstractions.
IEEE Trans. Software Eng.
Billy G. Claybrook, Anne-Marie Claybrook, James G. Williams
1985 J jnl
The Practical Verification System Project.
ACM SIGSOFT Softw. Eng. Notes
James G. Williams, Charles H. Applebaum
1984 — conf
PVS - design for a practical verification system.
ACM Annual Conference
Charles H. Applebaum, James G. Williams