Integrating Automated and Interactive Protocol Verification (Extended Version)

Brucker, A.D. and Mödersheim, S.A. (2009) Integrating Automated and Interactive Protocol Verification (Extended Version). Report. IBM Research Zurich. (Unpublished)

Abstract

Metadata

Authors/Creators:
  • Brucker, A.D.
  • Mödersheim, S.A.
Dates:
  • Published: 10 December 2009
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: 24 Feb 2016 13:22
Last Modified: 18 Apr 2017 20:54
Status: Unpublished

Share / Export