Formally Verifying Isolation and Availability in an Idealized                Model of Virtualization

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2011
Type of Publication:	In Proceedings
Authors:	Barthe, Gilles Betarte, Gustavo Campo, Juan Diego Luna, Carlos
Editor:	Michael Butler and Wolfram Schulte	Volume:	6664
Book title:	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Series:	Lecture Notes in Computer Science	Pages:	231-245


ISBN:	978-3-642-21436-3

@conference{DBLP:conf/fm/BartheBCL11, author = "Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna", booktitle = "FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings", crossref = "DBLP:conf/fm/2011", doi = "10.1007/978-3-642-21437-0_19", editor = "Michael Butler and Wolfram Schulte", isbn = "978-3-642-21436-3", note = "PARTNERS: IMDEA PROJECTS: NESSOS, DESAFIOS 10, PROMETIDOS, ANII-Clemente Estable NOTIER CITE(03/03/2014):19", pages = "231-245", publisher = "Springer Berlin / Heidelberg", series = "Lecture Notes in Computer Science", title = "{F}ormally {V}erifying {I}solation and {A}vailability in an {I}dealized {M}odel of {V}irtualization", volume = "6664", year = "2011", }
Note:	PARTNERS: IMDEA PROJECTS: NESSOS, DESAFIOS 10, PROMETIDOS, ANII-Clemente Estable NOTIER CITE(03/03/2014):19
[Bibtex]