Models and Methods for the Automated Analysis of Security Protocols
| Author | : Sebastian Alexander Mödersheim |
| Publisher | : |
| Total Pages | : 191 |
| Release | : 2007 |
| ISBN-10 | : OCLC:428125835 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Models and Methods for the Automated Analysis of Security Protocols by : Sebastian Alexander Mödersheim
Download or read book Models and Methods for the Automated Analysis of Security Protocols written by Sebastian Alexander Mödersheim and published by . This book was released on 2007 with total page 191 pages. Available in PDF, EPUB and Kindle. Book excerpt:
