Toward reasoning about security protocols : a semantic approach

A. Hommersom, J.-J.Ch. Meyer, E.P. Vink, de

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

101 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004)
Pages53-75
DOIs
Publication statusPublished - 2005

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume126
ISSN (Print)1571-0061

Cite this