Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
tarafından
 
Bodden, Eric. editor.

Başlık
Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Yazar
Bodden, Eric. editor.

ISBN
9783319621050

Edisyon
1st ed. 2017.

Fiziksel Niteleme
X, 241 p. 63 illus. online resource.

Seri
Security and Cryptology ; 10379

İçindekiler
Cloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.

Özet
This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.

Konu Başlığı
Computer Communication Networks.
 
Computer security.
 
Logic design.
 
Operating systems (Computers).
 
Software engineering.
 
Data encryption (Computer science).
 
Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I13022
 
Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060
 
Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050
 
Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14045
 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
 
Cryptology. http://scigraph.springernature.com/things/product-market-codes/I28020

Yazar Ek Girişi
Bodden, Eric.
 
Payer, Mathias.
 
Athanasopoulos, Elias.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-319-62105-0


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book226616-1001TK5105.5 -5105.9Springer E-Book Collection