Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, ... A template is used by the parties in order to fix the information to be sent by the origin. ... 2.1 above: (1) OSCE a R : tpl[tplid], S R (tpl[tplid]) First, the origin (O) requests the template identified by tplid to the ... starts the protocol itself by sending the message m, a unique protocol identifier l, the template reference and the POO.
|Title||:||Foundations and Applications of Security Analysis|
|Author||:||Pierpaolo Degano, Luca Viganò|
|Publisher||:||Springer - 2009-08-31|