Cost profile of a highly assured, secure operating system

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Home >> Journals and Conference Proceedings >> ACM Transactions on Information and System Security (TISSEC)

Cost profile of a highly assured, secure operating system

Richard E. Smith

Journal Title: ACM Transactions on Information and System Security (TISSEC)

Date: 2001

Volume: 4

Issue: 1

p. 72 - 101

We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:

http://palms.ee.princeton.edu/fiskiran/repository/p72-smith.pdf

http://www.securecomputing.com/pdf/lockcost.pdf

http://www.smat.us/crypto/docs/Lock-eff-acm.pdf

For further information about this item go to:

http://doi.acm.org/10.1145/383775.383778

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12