The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

WWW Technology in the Formal Evaluation of Trusted Systems

Author

E. J. McCauley

Entry type

inproceedings

Abstract

The World Wide Web (WWW) indtroduces exciting possibilities for the use of new technology in the formal evaluation of trusted systems. This is a report of a work in progress. It discusses the conceptual foundations of the WWW use in formal evaluations of the security properties of a system, and offers some of the initial insights gained in its use. Silicon Graphics is using this structure for the submittal of documentation for the formal evaluation of the Trusted IRIX/CMW 6.2 operating system.

Address

Baltimore, MD

Key alpha

McCauley

Note

Published in the 19th National Information Systems Security Conference (Oct 22 - 25)

Publication Date

0000-00-00

Location

A hard-copy of this is in the Papers Cabinet

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.