Back to Search
Start Over
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
- Source :
- Security & Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings; 2014, p162-177, 16p
- Publication Year :
- 2014
Details
- Language :
- English
- ISBNs :
- 9783319118505
- Database :
- Complementary Index
- Journal :
- Security & Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings
- Publication Type :
- Book
- Accession number :
- 98955262
- Full Text :
- https://doi.org/10.1007/978-3-319-11851-2_11