A logic for constraint-based security protocol analysis

R.J. Corin, S. Etalle, A. Saptawijaya

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

    32 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings 2006 IEEE Symposium on Security and Privacy (S&P 2006, Oakland CA, USA, May 21-24, 2006)
    PublisherIEEE Computer Society
    Pages155-168
    ISBN (Print)0-7695-2574-1
    Publication statusPublished - 2006

    Cite this