Yazar
veronique cortier
2 cilt bulundu.
Cilt sonuçları
Formal models and techniques for analyzing security protocols
Véronique Cortier, Steve Kremer · IOS Press
303 sayfa · 2011
Computer security / Access control / Computer networks / Computers / Security measures
Formal to Practical Security
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada · Springer London, Limited
Sayfa sayısı yok · 2009
Kategori yok