Preserving Security Properties under Refinement

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:	Martinelli, Fabio Matteucci, Ilaria

Book title:	Proceedings of SESS 2011





@conference{SESS11, author = "Fabio Martinelli and Ilaria Matteucci", booktitle = "Proceedings of SESS 2011", doi = "10.1145/1988630.1988634", note = "CNR, Nessos; no tier; citations 1", title = "{P}reserving {S}ecurity {P}roperties under {R}efinement", year = "2011", }
Note:	CNR, Nessos; no tier; citations 1
[Bibtex]