Identity Authentication and Secrecy in the Pi-Calculus and Prolog
Document
Item Description
Name(s)
Author: Sundseth, Stefan Arnold
Thesis advisor: Lipton, James
Date
May 23, 2013
Extent
32 pages
Language
eng
Genre
Physical Form
electronic
Discipline
Rights and Use
In Copyright – Non-Commercial Use Permitted
Digital Collection
PID
ir:629