Auditable PAKEs: Approaching Fair Exchange Without a TTP

First Author: Roscoe A
Attributed to:  Reducing Cost of Software: A Scalable Model-Based Verification Framework funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-71075-4_31

Publication URI: http://dx.doi.org/10.1007/978-3-319-71075-4_31

Type: Book Chapter

Book Title: Security Protocols XXV (2017)

Page Reference: 278-297

ISSN: 2095-221X