Formal models and techniques for analyzing security protocols
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Washington, D.C. :
IOS Press,
2011.
|
| Seri Bilgileri: | Cryptology and information security series ;
v. 5. |
| Konular: | |
| Online Erişim: | An electronic book accessible through the World Wide Web; click to view |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Fiziksel Özellikler: | vii, 303 p. : ill. |
|---|---|
| Bibliyografya: | Includes bibliographical references and index. |
| ISSN: | 1871-6431 ; |