| #10876255 in Books | 2008-09-11 | Original language:English | PDF # 1 | 9.25 x.56 x6.10l,.80 | File type: PDF | 234 pages||From the Back Cover||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 studen
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 bee...
You easily download any file type for your device.Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science) | Qingfeng Chen, Chengqi Zhang, Shichao Zhang. A good, fresh read, highly recommended.
