Authenticity by typing for security protocols1
- 1 October 2003
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 11 (4) , 451-519
- https://doi.org/10.3233/jcs-2003-11402
Abstract
A portion of this work appeared in the proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW14), Cape Breton, USA, 11–13 June, 2001. The two authors completed part of this work at Microsoft Research in Cambridge and part at DePaulKeywords
This publication has 0 references indexed in Scilit: