Home > Computer Security - ESORICS 2007: 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings > Synthesizing Secure Protocols
Computer Security - ESORICS 2007: 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings |
Springer Berlin Heidelberg
Synthesizing Secure Protocols
Chapter Info
Authors
ARI Id
1664699644236_2787431
Access
Not Available Free
Pages
406-421
DOI
Chapter URL
https://rd.springer.com/chapter/10.1007/978-3-540-74835-9_27
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...