A Semantic Approach for Reasoning about Security Protocols (extended abstract)

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

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

Original languageUndefined/Unknown
Title of host publicationProc. ESSLLI'04-Workshop on Logic and communication in multi-agent systems (LCMAS'04)
EditorsA. Lomuscio, W. van der Hoek, M. Wooldridge, E. de Vink
Place of PublicationNancy
PublisherUniversité Henri Poincare
Number of pages19
Publication statusPublished - 2004


  • Wiskunde en Informatica (WIIN)

Cite this