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

Item Type: Monograph
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
Open Archives Initiative ID (OAI ID):

Export

Statistics