On the relationships between models in protocol verification

Thumbnail
Metadata only
Author
Mödersheim, Sebastian
Date
2008
Type
    Conference Paper
Publication status
published
External links
Journal / series
Information and Computation
Volume
206(2-4)
Pages / Article No.
291 - 311
Publisher
Amsterdam
Event
Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA ’06), Seattle, WA, USA, August 15-16, 2006
Subject
Formal verification; Security protocols; Abstraction
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Received 10 November 2006, revised 16 May 2007. Available online 28 November 2007.
More
Show all metadata
ETH Bibliography
yes
Altmetrics