OFMC
A symbolic model checker for security protocols
Open access
Date
2005-06Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000052641Publication status
publishedExternal links
Journal / series
International Journal of Information SecurityVolume
Pages / Article No.
Publisher
SpringerSubject
Security protocols; Verification; Model checking; Formal methods; ConstraintsOrganisational unit
03634 - Basin, David / Basin, David
Notes
Published online 21 December 2004. It was possible to publish this article open access thanks to a Swiss National Licence with the publisherMore
Show all metadata
ETH Bibliography
yes
Altmetrics