[ .ps ]
@TECHREPORT{Hicks98,
AUTHOR = {Michael Hicks},
TITLE = {{PLAN} System Security},
INSTITUTION = {Department of Computer and Information Science, University of Pennsylvania},
TYPE = {Technical Report},
NUMBER = {MS-CIS-98-25},
MONTH = {April},
YEAR = {1998}
}