Beta 1


Title Modelling properties of security protocols
Author Pilegaard, Henrik (Informatics and Mathematical Modelling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2002
Fulltext
Original PDF imm1277.pdf (1.49 MB)
Admin Creation date: 2006-06-22    Update date: 2007-09-11    Source: dtu    ID: 58335    Original MXD