Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

master theses

see also

supervisor

Wiebe van der Hoek

overview

4 theses
thesis full
text
academic
year
author / title / supervisors
INF/SCR-2003-03 no pdf 2003 Jonker G., Feasible Strategies in Alternating-time Temporal Epistemic Logic
prof. dr. Wiebe van der Hoek, prof. dr. John-Jules Meyer (0:0)
INF/SCR-2001-20 no pdf 2002 Broere M., A Modal Logic of Authentication : Epistemic Actions in Cryptographic Protocols
prof. dr. Wiebe van der Hoek
INF/SCR-2001-09 no pdf 2001 Agray N., The BAN Approach to Formal Verification : Authentication in GSM and SET
prof. dr. Wiebe van der Hoek
INF/SCR-2000-07 no pdf 2000 Breunesse C.B., The logic of soccer
prof. dr. Wiebe van der Hoek, prof. dr. John-Jules Meyer (0:0)