My Account Log in

1 option

Engineering Secure Software and Systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos.

SpringerLink Books Computer Science (2011-2024) Available online

View online
Format:
Book
Contributor:
Bodden, Eric, Editor.
Payer, Mathias, Editor.
Athanasopoulos, Elias, Editor.
SpringerLink (Online service)
Series:
Computer Science (SpringerNature-11645)
LNCS sublibrary. Security and cryptology ; SL 4, 10379
Security and Cryptology ; 10379
Language:
English
Subjects (All):
Computer networks.
Data protection.
Logic design.
Operating systems (Computers).
Software engineering.
Cryptography.
Data encryption (Computer science).
Computer Communication Networks.
Data and Information Security.
Logic Design.
Operating Systems.
Software Engineering.
Cryptology.
Local Subjects:
Computer Communication Networks.
Data and Information Security.
Logic Design.
Operating Systems.
Software Engineering.
Cryptology.
Physical Description:
1 online resource (X, 241 pages) : 63 illustrations
Edition:
1st ed. 2017.
Contained In:
Springer Nature eBook
Place of Publication:
Cham : Springer International Publishing : Imprint: Springer, 2017.
System Details:
text file PDF
Summary:
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.
Contents:
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.
Other Format:
Printed edition:
ISBN:
978-3-319-62105-0
9783319621050
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account