@techreport{csl-96-05,
    AUTHOR = {Peter {G.} Neumann},
    TITLE = {Architectures and Formal Representations for Secure Systems},
    YEAR = {1996},
    MONTH = {jun},
    URL = {http://www.csl.sri.com/papers/csl-96-05/}
}