|
|||||
|
|
A formal semantics for protocol narrations |
|
| Authors: | Sébastien Briais Uwe Nestmann |
| Affiliation: | 1. School of Computer and Communication Sciences, EPFL, Switzerland;2. EECS, Technical University of Berlin, Germany |
| Abstract: | |
| Keywords: | Cryptographic protocols Protocol narrations Spi-calculus |
| 本文献已被 ScienceDirect 等数据库收录！ | |