Distributed temporal logic for the analysis of security protocol models
Metadata only
Date
2011-07Type
- Journal Article
Publication status
publishedExternal links
Journal / series
Theoretical Computer ScienceVolume
Pages / Article No.
Publisher
ElsevierSubject
Security protocols; Security protocol analysis; Security protocol models; Temporal logic; Distributed temporal logicOrganisational unit
03634 - Basin, David / Basin, David
Notes
Received 18 April 2010, Revised 22 March 2011, Accepted 3 April 2011, Available online 9 April 2011.More
Show all metadata