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
    Pages24-31
    Publication statusPublished - 2003

    Cite this

    Hansen, M. R., Sharp, R., & Backes et a., M. (Ed.) (2003). Using Interval Logics for Temporal Analysis of Security Protocols. In First ACM Workshop on Formal Methods in Security Engineering (FMSE'03) (pp. 24-31). ACM Press. http://www.imm.dtu.dk/pubdb/p.php?2866