Timed model checking of security protocols

R.J. Corin, S. Etalle, P.H. Hartel, A.H. Mader

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    33 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering (FMSE 2004, Washingtion DC, USA, October 29, 2004)
    EditorsV. Atluri, M. Backes, D.A. Basin, M. Waidner
    PublisherAssociation for Computing Machinery, Inc
    Pages23-32
    ISBN (Print)1-58113-971-3
    Publication statusPublished - 2004

    Cite this