Ստացիր սա : Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer.

Վերնագիր : Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer.

Դասիչ : Չկա դասիչ

Կարգավիճակ : Անհայտ