Browsing Institutt for matematiske fag by Author "Båtstrand, Anders Lindholm"
Now showing items 1-1 of 1
-
Identity Protection, Secrecy and Authentication in Protocols with compromised Agents
Båtstrand, Anders Lindholm (Master thesis, 2009)The design of security protocols is given an increasing level of academic interest, as an increasing number of important tasks are done over the Internet. Among the fields being researched is formal methods for modeling ...