Stateful Protocol Composition (Extended Version)

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

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2018 DTU Compute, Technical University Denmark
Keywords: protocol composition; security protocol; compositionality
Dates:
  • 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: https://www.brucker.ch/bibliography/abstract/hess....
Status: Published

Share / Export