Yüklüyor......

Secure transaction protocol analysis models and applications /

The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. It aims to serve as an overall course-aid and to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Asıl Yazarlar: Chen, Qingfeng., Zhang, Chengqi, Zhang, Shichao.
Materyal Türü: Livro
Dil:Inglês
Baskı/Yayın Bilgisi: Springer, c200
Seri Bilgileri:Lecture notes in computer science ;
Konular:
Online Erişim:https://minerva.ufrj.br/F/?func=direct&doc_number=000898481&local_base=UFR01
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!