TY  - BOOK
A2  - ed. by Véronique Cortier and Steve Kremer.
A3  - Cortier, Véronique.
A3  - Kremer, Steve.
N1  - ISSN 1871-6431 opatrzony notą: print. Na ks. ponadto drugi ISSN 1879-8101 z notą: online.
NV  - VII, [1], 303 s. :
PY  - 2011
SN  - 9781607507130
SN  - 9781607507147 (online)
TI  - Formal models and techniques for analyzing security protocols /
VL  - vol. 5
ER  -