Blar i Institutt for matematiske fag på forfatter "Båtstrand, Anders Lindholm"
-
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 ...