Constraint Differentiation

A New Reduction Technique for Constraint-Based Analysis of Security Protocols
Thumbnail
Metadata only
Author
Basin, David
Mödersheim, Sebastian
Viganò, Luca
Date
2003
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Atluri, Vijay
Liu, Peng
Book title
Proceedings of the 10th ACM Conference on Computer and Communications Security
Pages
335 - 344
Publisher
The Association for Computing Machinery
Event
10th ACM Conference on Computer and Communications Security (CCS 2003), Washington, DC, USA, October 27-31, 2003
Subject
Protocol Verification; Constraints; Partial-Order Reduction
Organisational unit
03634 - Basin, David
Notes
.
More
Show all metadata
Altmetrics