Sound Security Protocol Transformations

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

Home

Publications

BibTex:
Research Area:	WP9	Year:	2013
Type of Publication:	In Proceedings
Authors:	Nguyen, Binh Thanh Sprenger, Christoph

Book title:	Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Pages:	83-104




@conference{DBLP:conf/post/NguyenS13, author = "Binh Thanh Nguyen and Christoph Sprenger", booktitle = "Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings", note = "partners: ETH; projects: NESSoS, TIER: NoTier; CITE (09/04/14): 1", pages = "83-104", publisher = "Springer", title = "{S}ound {S}ecurity {P}rotocol {T}ransformations", year = "2013", }
Note:	partners: ETH; projects: NESSoS, TIER: NoTier; CITE (09/04/14): 1
[Bibtex]