Work

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-21437-0_19

Authors: Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Institutions: IMDEA Software Institute, Universidad de la República de Uruguay

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W55413947

FWCI: 5.506

Cites: 31

Cited by: 48

Related to: 10