Stateful Applied Pi Calculus

First Author: Arapinis M
Attributed to:  Academic Centre of Excellence in Cyber Security Research - University of Birmingham funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-54792-8_2

Publication URI: http://dx.doi.org/10.1007/978-3-642-54792-8_2

Type: Book Chapter

Book Title: Principles of Security and Trust (2014)

Page Reference: 22-41

ISBN: 978-3-642-54791-1