Using Interval Logics for Temporal Analysis of Security Protocols

Michael R. Hansen, Robin Sharp

TypeConference paper [With referee]
ConferenceFirst ACM Workshop on Formal Methods in Security Engineering (FMSE'03)
EditorsMichael Backes and David Basin and Michael Waidner
Year2003    pp. 24-31
PublisherACM Press
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering