Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity

First Author: Arapinis M
Attributed to:  Analysing Security and Privacy Properties funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Book Chapter

Book Title: Principles of Security and Trust (2012)

Page Reference: 169-188

ISBN: 978-3-642-28640-7