Secure Transaction Protocol Analysis: Models and Applications

by Shichao Zhang, Qingfeng Chen, Chengqi Zhang

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...

• Format: Paperback
• Language: English
• ISBN: 3540850732
• ISBN13: 9783540850731
• Release Date: July 2008
• Publisher: Springer
• Length: 234 Pages
• Weight: 0.80 lbs.
• Dimensions: 0.6" x 6.0" x 9.2"