Using Interval Logics for Temporal  Analysis of Security Protocols

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	First ACM Workshop on Formal Methods in Security Engineering (FMSE'03)
Publisher	ACM Press
Publication date	2003
Pages	24-31
Publication status	Published - 2003

Access to Document

@inproceedings{23bf41c968784694a289cec0962c692c,

title = "Using Interval Logics for Temporal Analysis of Security Protocols",

author = "Hansen, {Michael Reichhardt} and Robin Sharp and {Backes et a.}, Michael",

year = "2003",

language = "English",

pages = "24--31",

booktitle = "First ACM Workshop on Formal Methods in Security Engineering (FMSE'03)",

publisher = "ACM Press",

}