What is protocol analysis?

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

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
Pages147-160
ISBN (Print)978-90-8964-123-6
Publication statusPublished - 2009

Publication series

NameTexts in Logic and Games
Volume5

    Fingerprint

Cite this

Dechesne, F., Eijck, van, J., Teepe, W., & Wang, Y. (2009). What is protocol analysis? In J. Eijck, van, & R. Verbrugge (Eds.), Discourses on Social Software (pp. 147-160). (Texts in Logic and Games; Vol. 5). Amsterdam: Amsterdam University Press.