Stateful Protocol Composition (Extended Version)

Hess, A.V., Mödersheim, S.A. and Brucker, A.D. (2018) Stateful Protocol Composition (Extended Version). Technical Report. DTU Compute, Technical University Denmark. ISSN 1601-2321



Copyright, Publisher and Additional Information: © 2018 DTU Compute, Technical University Denmark
Keywords: protocol composition; security protocol; compositionality
  • Published: March 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 10 Sep 2018 11:24
Last Modified: 10 Sep 2018 11:24
Published Version:
Status: Published

Share / Export