| |
| 1996 | ||
|---|---|---|
| 6 | D. Elliot Bell, Leonard J. LaPadula: Secure Computer Systems: A Mathematical Model, Volume II. Journal of Computer Security 4(2/3): 229-263 (1996) | |
| 1994 | ||
| 5 | Leonard J. LaPadula: A Rule-Set Approach to Formal Modeling of a Trusted Computer System. Computing Systems 7(1): 113-167 (1994) | |
| 1993 | ||
| 4 | James G. Williams, Leonard J. LaPadula: Automated Support for External Consistency. CSFW 1993: 71-81 | |
| 3 | EE | Marshall D. Abrams, Edward Amoroso, Leonard J. LaPadula, Teresa F. Lunt, James G. Williams: Report of an integrity research study group. Computers & Security 12(7): 679-689 (1993) |
| 1991 | ||
| 2 | Leonard J. LaPadula, James G. Williams: Toward a Universal Integrity Model. CSFW 1991: 216-218 | |
| 1990 | ||
| 1 | Leonard J. LaPadula: Formal Modeling in a Generalized Framework for Access Control. CSFW 1990: 100-109 | |
| 1 | Marshall D. Abrams | [3] |
| 2 | Edward Amoroso | [3] |
| 3 | D. Elliot Bell | [6] |
| 4 | Teresa F. Lunt | [3] |
| 5 | James G. Williams | [2] [3] [4] |