Open AccessIdentity Authentication and Secrecy in the Pi-Calculus and Prolog
Author(s) -
Stefan Arnold Sundseth
Publication year - 2013
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.14418/wes01.1.956
Subject(s) - secrecy , prolog , identity (music) , authentication (law) , computer science , pi calculus , computer security , calculus (dental) , programming language , philosophy , medicine , dentistry , aesthetics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom