| | |
@inproceedings{DBLP:conf/hicss/HeckmanL98,
author = {Mark Heckman and
Karl N. Levitt},
title = {Applying the Composition Principle to Verify a Hierarchy
of Security Servers},
booktitle = {HICSS (3)},
year = {1998},
pages = {338-347},
ee = {http://computer.org/proceedings/hicss/8239/82390338abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-06-29 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page