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