What is protocol analysis?

F. Dechesne, J. Eijck, van, W. Teepe, Y. Wang

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


The following is a transcript of one of the discussion sessions that took place during the Workshop on Games, Action and Social Software at the Lorentz Center in Leiden. The discussion theme was set by the workshop organizers: "Is logic useful for the analysis of protocols, and if so, how?" The theme has attracted the usual protagonists, plus a cognitive scientist and a specialist in computer security.
Original languageEnglish
Title of host publicationDiscourses on Social Software
EditorsJ. Eijck, van, R. Verbrugge
Place of PublicationAmsterdam
PublisherAmsterdam University Press
ISBN (Print)978-90-8964-123-6
Publication statusPublished - 2009

Publication series

NameTexts in Logic and Games


Dive into the research topics of 'What is protocol analysis?'. Together they form a unique fingerprint.

Cite this