2009-01-01
What is Protocol Analysis?
Publication
Publication
Additional Metadata | |
---|---|
Keywords | protocol epistmic |
THEME | Software (theme 1) |
Publisher | Amsterdam University Press |
Editor | D.J.N. van Eijck (Jan) , R. Verbrugge |
Series | Texts in Logic and Games |
Project | Verification and Epistemics of Multi-Party Protocol Security (is een SEN1 en SEN2 project) |
Citation |
van Eijck, D.J.N, Dechesne, F, Teepe, W, & Wang, Y. (2009). What is Protocol Analysis?. In D.J.N van Eijck & R Verbrugge (Eds.), Discourses on Social Software (pp. 135–146). Amsterdam University Press.
|
See Also |
---|
bookChapter
|
bookChapter
|