![Operational Semantics and Verification of Security Protocols Operational Semantics and Verification of Security Protocols](https://bilder.buecher.de/produkte/41/41728/41728079m.jpg)
Broschiertes Buch
2012
9. November 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-43053-4
Gebundenes Buch | 50,99 € | |
eBook, PDF | 38,95 € |
![Operational Semantics and Verification of Security Protocols Operational Semantics and Verification of Security Protocols](https://bilder.buecher.de/produkte/23/23876/23876450m.jpg)
Gebundenes Buch
2012
31. Oktober 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
12072101,978-3-540-78635-1
![CONCUR'99. Concurrency Theory CONCUR'99. Concurrency Theory](https://bilder.buecher.de/produkte/09/09202/09202165m.jpg)
Broschiertes Buch
10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
1999.
13. August 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-66425-3
eBook, PDF | 73,95 € |
![Operational Semantics and Verification of Security Protocols (eBook, PDF) Operational Semantics and Verification of Security Protocols (eBook, PDF)](https://bilder.buecher.de/produkte/44/44121/44121933m.jpg)
eBook, PDF
30. Oktober 2012
Springer Berlin Heidelberg
Ähnliche Artikel
![Security Protocols XXIII Security Protocols XXIII](https://bilder.buecher.de/produkte/43/43828/43828474m.jpg)
Broschiertes Buch
23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers
1st ed. 2015
25. November 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-26095-2
![Security Protocols XVIII Security Protocols XVIII](https://bilder.buecher.de/produkte/41/41749/41749697m.jpg)
Broschiertes Buch
18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers
2014
5. Dezember 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45920-1
![Computer Security - ESORICS 2017 Computer Security - ESORICS 2017](https://bilder.buecher.de/produkte/48/48722/48722911m.jpg)
Broschiertes Buch
22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I
1st edition 2017
15. August 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-66401-9
![SCION: A Secure Internet Architecture SCION: A Secure Internet Architecture](https://bilder.buecher.de/produkte/48/48822/48822454m.jpg)
Gebundenes Buch
1st ed. 2017
23. Oktober 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-67079-9
![Principles of Security and Trust Principles of Security and Trust](https://bilder.buecher.de/produkte/42/42242/42242770m.jpg)
Broschiertes Buch
4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
2015
8. April 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46665-0
![The Correctness-by-Construction Approach to Programming The Correctness-by-Construction Approach to Programming](https://bilder.buecher.de/produkte/40/40839/40839879m.jpg)
Broschiertes Buch
2012
9. Mai 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-44854-6
![Principles of Security and Trust Principles of Security and Trust](https://bilder.buecher.de/produkte/47/47569/47569213m.jpg)
Broschiertes Buch
6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
1st ed. 2017
29. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54454-9
![Information Security and Cryptology Information Security and Cryptology](https://bilder.buecher.de/produkte/44/44838/44838030m.jpg)
Broschiertes Buch
11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers
1st ed. 2016
5. Mai 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-38897-7
![Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification](https://bilder.buecher.de/produkte/44/44769/44769320m.jpg)
Broschiertes Buch
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
1st ed. 2016
15. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-33950-4
![Topics in Cryptology -- CT-RSA 2014 Topics in Cryptology -- CT-RSA 2014](https://bilder.buecher.de/produkte/40/40316/40316077m.jpg)
Broschiertes Buch
The Cryptographer's Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014, Proceedings
2014
4. Februar 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-04851-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON