Using Interval Logics for Temporal Analysis of Security Protocols

Michael Reichhardt Hansen, Robin Sharp, Michael Backes et a. (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationFirst ACM Workshop on Formal Methods in Security Engineering (FMSE'03)
    PublisherACM Press
    Publication date2003
    Publication statusPublished - 2003

    Cite this