UvAitem 1 out of 1
- Author
- Title
- Epistemic modelling and protocol dynamics
- Supervisors
- Award date
- 21 September 2010
- Number of pages
- 183
- Publisher
- Amsterdam: Institute for Logic, Language and Computation
- ISBN
- 9789057762116
- Document type
- PhD thesis
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Note
- ILLC dissertation series DS-2010-06.
IPA dissertation series 2010-05
Research conducted at: Universiteit van Amsterdam - Persistent Identifier
- https://hdl.handle.net/11245/1.326279
- Downloads
-
Thesis
Cover
Title pages
Contents
Acknowledgments
Chapter 1: Introduction
Chapter 2: Preliminaries
Chapter 3: Meta-knowledge matters
Chapter 4: Logics of knowledge and protocol change
Chapter 5: Composing models
Chapter 6: Counting models
Chapter 7: Making models smaller
Chapter 8: Accelerating the transitions
Chapter 9: Epistemic approaches to security protocol verification
Appendix A: Alloy code for Russian cards problem (3.3.1)
Bibliography
Abstract
Samenvatting
Index
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.