Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
2003, Springer London, Limited
in English
3540365753 9783540365754
|
zzzz
Libraries near you:
WorldCat
|
2
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)
May 7, 2003, Springer
Paperback
in English
- 1 edition
3540008861 9783540008866
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Most of the existing approaches to applying formal methods to cryptographic protocol analysis stem ultimately from that of Dolev and Yao [9], who developed for the first formalization of the intruder model that is commonly used today."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 28, 2014 | Edited by ImportBot | import new book |
April 6, 2014 | Edited by ImportBot | Added IA ID. |
August 12, 2010 | Edited by IdentifierBot | added LibraryThing ID |
April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |