Epistemic modelling and protocol dynamics

Authors	Y. Wang
Supervisors	D.J.N. van Eijck
Award date	21-09-2010
ISBN	9789057762116
Number of pages	183
Publisher	Amsterdam: Institute for Logic, Language and Computation
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	PhD thesis
Note	ILLC dissertation series DS-2010-06. IPA dissertation series 2010-05 Research conducted at: Universiteit van Amsterdam
Language	English
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
Permalink to this page

Back

UvA-DARE