Work

Information Flow in Operating Systems: Eager Formal Methods

Year: 2003

Type: article

Authors: Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell

Institution: Mitre (United States)

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W207866615

FWCI: 6.75

Cites: 7

Cited by: 34

Related to: 10