Secure Transaction Protocol Analysis

Available
0
StarStarStarStarStar
0Reviews
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. Contributi...
Read more
product_type_E-book
pdf
Price
44.99 £
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. Contributi...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783540850748
  • Publication Date: 20 Jul 2008
  • Publisher: Springer Berlin Heidelberg
  • Product language: English
  • Drm Setting: DRM