Produktnummer:
186cfa60d7b42545519b63a5e0dcf5365d
| Themengebiete: | algorithm analysis and problem complexity model checking for security secure architecture and design security requirements and policies security testing threat modeling and analysis of vulnerabilities verification techniques for security properties |
|---|---|
| Veröffentlichungsdatum: | 10.02.2015 |
| EAN: | 9783319156170 |
| Sprache: | Englisch |
| Seitenzahl: | 227 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bielova, Nataliia Caballero, Juan Piessens, Frank |
| Verlag: | Springer International Publishing |
| Untertitel: | 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings |
Produktinformationen "Engineering Secure Software and Systems"
This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen