Formal models and techniques for analyzing security protocols /

  1. Home
  2. Szczegóły

Opis

    Formal models and techniques for analyzing security protocols / ed. by Véronique Cortier and Steve Kremer.
    Amsterdam [etc.] : IOS Press, cop. 2011. VII, [1], 303 s. : il. ; 25 cm.
    (Cryptology and Information Security Series, ISSN 1871-6431 ; vol. 5)
    (Cryptology and Information Security Series ISSN 1871-6431 5)
   
ISSN 1871-6431 opatrzony notą: print. Na ks. ponadto drugi ISSN 1879-8101 z notą: online.

    ISBN 978-1-60750-713-0 (print)     ISBN 978-1-60750-714-7 (online)

   
T.15641        UKD: 004.056.55:004.057.4-049.5:005.922.1:003.26](07)=111