Attack-preserving security protocol transformations

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

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Nguyen, Binh Thanh Sprenger, Christoph Basin, David

Book title:	Proceedings of the Doctoral Symposium of International Symposium on Engineering Secure Software and Systems (ESSoS-DS), Eindhoven


Month:	February 15


@conference{NSB12, author = "Binh Thanh Nguyen and Christoph Sprenger and David Basin", booktitle = "Proceedings of the Doctoral Symposium of International Symposium on Engineering Secure Software and Systems (ESSoS-DS), Eindhoven", month = "February 15", note = "projects: NESSoS, partners: ETH; TIER: NoTier; CITE (09/04/14): 0", title = "{A}ttack-preserving security protocol transformations", year = "2012", }
Note:	projects: NESSoS, partners: ETH; TIER: NoTier; CITE (09/04/14): 0
[Bibtex]