Leonard J. LaPadula

According to our database, Leonard J. LaPadula authored at least 8 papers between 1990 and 1996.

Collaborative distances:

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

1996

Secure Computer Systems: A Mathematical Model, Volume II.

David Elliott Bell, Leonard J. LaPadula

J. Comput. Secur., 1996

1994

A Rule-Set Approach to Formal Modeling of a Trusted Computer System.

Leonard J. LaPadula

Comput. Syst., 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

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

Prospect on security paradigms.

Leonard J. LaPadula

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

Toward a Universal Integrity Model.

Leonard J. LaPadula, James G. Williams

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

1990

Formal Modeling in a Generalized Framework for Access Control.

Leonard J. LaPadula

Proceedings of the Third IEEE Computer Security Foundations Workshop, 1990