Sciweavers

TGC
2005
Springer
14 years 5 months ago
A Formal Semantics for Protocol Narrations
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
Sébastien Briais, Uwe Nestmann