Conference paper
Using Interval Logics for Temporal Analysis of Security Protocols
Language: | English |
---|---|
Publisher: | ACM Press |
Year: | 2003 |
Pages: | 24-31 |
Types: | Conference paper |
ORCIDs: | Hansen, Michael Reichhardt and Sharp, Robin |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Conference paper
Language: | English |
---|---|
Publisher: | ACM Press |
Year: | 2003 |
Pages: | 24-31 |
Types: | Conference paper |
ORCIDs: | Hansen, Michael Reichhardt and Sharp, Robin |
Analysis