Leonard J. LaPadula

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

Publications

David Elliott Bell, Leonard J. LaPadula
Secure Computer Systems: A Mathematical Model, Volume II. J. Comput. Secur. 4 (2/3) (1996)
Leonard J. LaPadula
A Rule-Set Approach to Formal Modeling of a Trusted Computer System. Comput. Syst. 7 (1) (1994)
Leonard J. LaPadula, James G. Williams
External consistency in a network environment. NSPW (1993)
James G. Williams, Leonard J. LaPadula
Automated Support for External Consistency. CSFW (1993)
Leonard J. LaPadula
Prospect on security paradigms. NSPW (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)
Leonard J. LaPadula, James G. Williams
Toward a Universal Integrity Model. CSFW (1991)
Leonard J. LaPadula
Formal Modeling in a Generalized Framework for Access Control. CSFW (1990)