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...
Kaydedildi:
Asıl Yazarlar: | , , |
---|---|
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!
|