Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis

S. Bistarelli, I. Cervesato, Gabriele Lenzini, F. Martinelli

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

    77 Downloads (Pure)
    Original languageEnglish
    Title of host publicationIFIP WG1.7 ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security
    EditorsR. Gorrieri
    Place of PublicationWarsaw, Poland
    Pages21-31
    Publication statusPublished - 2003
    EventWorkshop on Issues in the Theory of Security 2003 - Warsaw, Poland, Warsaw, Poland
    Duration: 5 Apr 20036 Apr 2003
    http://www.dsi.unive.it/IFIPWG1_7/wits2003.html

    Conference

    ConferenceWorkshop on Issues in the Theory of Security 2003
    Abbreviated titleWITS 2003
    CountryPoland
    CityWarsaw
    Period5/04/036/04/03
    Internet address

    Keywords

    • METIS-214044

    Cite this