Qingfeng Chen & Chengqi Zhang 
Secure Transaction Protocol Analysis [PDF ebook] 
Models and Applications

समर्थन

The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedbythehostilenatureofsomeaspectsofthenetworkand the persistent e?orts of intruders, and has been widely discussed among – searchers in this ?eld. Contributions to the investigation of novel and e?cient ideas and techniques have been made thr...

और पढो
€63.06
भुगतान की विधि

विषयसूची

Overview of Security Protocol Analysis.- Formal Analysis of Secure Transaction Protocols.- Model Checking in Security Protocol Analysis.- Uncertainty Issues in Secure Messa...

और पढो
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 234 ● ISBN 9783540850748 ● प्रकाशक Springer Berlin ● शहर Heidelberg ● देश DE ● प्रकाशित 2008 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 2164389 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

एक ही लेखक से अधिक ईबुक / संपादक

3,402 इस श्रेणी में ईबुक