Modelling of Cryptographic Protocols - A Concurrency Perspective
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
1997
Department
Major/Subject
Tietokoneverkot
Mcode
Tik-110
Degree programme
Language
en
Pages
viii + 116 s. + liitt. 33