Search
 
loader loading subjects...
cover
Formal treatment of secure protocols: an introduction
Danny Krizanc, James Lipton
74 - 91
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 17: Aspects of Network and Information Security
Abstract

In this paper we survey some of the most important formalisms that have been used to specify and analyze secure protocols. A number of notable examples are described. Very little is assumed in the way of background on security, only a certain willingness to engage a formal point of view and some intuitions about logic and proof.

$35.00 / €27.50 / £22.00
Add PDF to cart