An edition of Programming Languages and Systems
(2003)
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)
1 edition
by Pierpaolo Degano
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| 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 ... (Lecture Notes in Computer Science)
May 7, 2003, Springer
Paperback
in English
- 1 edition
3540008861 9783540008866
|
aaaa
|
2
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
|
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
Edition Identifiers
Work Identifiers
Community Reviews (0)
| July 28, 2014 | Edited by ImportBot | import new book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 11, 2009 | Created by WorkBot | add works page |