Home Publications

Sound Security Protocol Transformations

Research Area: WP9 Year: 2013
Type of Publication: In Proceedings
  • 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
partners: ETH; projects: NESSoS, TIER: NoTier; CITE (09/04/14): 1