© 2008 OSIsoft, Inc. | Company Confidential NAMs Offshore PI Project Theo Huizinga Arjan Korzilius.
Universally Composable Symbolic Analysis of Security Protocols
6.897: Selected Topics in Cryptography Lectures 15 and 16