Partial Model Checking for the Verification and Synthesis of Secure Service Compositions

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

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2014
Type of Publication:	In Proceedings
Authors:	Martinelli, Fabio Matteucci, Ilaria

Book title:	Public Key Infrastructures, Services and Applications
Pages:	1-11




@conference{martinelli2014partial, author = "Fabio Martinelli and Ilaria Matteucci", booktitle = "Public Key Infrastructures, Services and Applications", note = "rank B, FoR1 0803 Thanks to Aniketos, NESSoS", pages = "1--11", publisher = "Springer", title = "{P}artial {M}odel {C}hecking for the {V}erification and {S}ynthesis of {S}ecure {S}ervice {C}ompositions", year = "2014", }
Note:	rank B, FoR1 0803 Thanks to Aniketos, NESSoS
[Bibtex]