Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes

C. Bodei, P. Degano, Hanne Riis Nielson, Flemming Nielson

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalFuture Generation Computer Systems - The International Journal of eScience
    Volume18
    Issue number6
    Pages (from-to)747-756
    ISSN0167-739X
    Publication statusPublished - 2002

    Cite this