Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. (2017)
- Record Type:
- Book
- Title:
- Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. (2017)
- Main Title:
- Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
- Other Titles:
- ESSoS 2017
- Further Information:
- Note: Eric Bodden, Mathias Payer, Elias Athanasopoulos (eds.).
- Editors:
- Bodden, Eric
Payer, Mathias
Athanasopoulos, Elias - Other Names:
- ESSoS (Symposium), 9th
- 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.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2017
- Extent:
- 1 online resource (x, 241 pages), illustrations
- Subjects:
- 005.8
Computer science
Computer security -- Congresses
Software engineering -- Congresses
Data encryption (Computer science) -- Congresses
Computer security
Data encryption (Computer science)
Software engineering
Computer Science
Computer Communication Networks
Systems and Data Security
Logic Design
Operating Systems
Software Engineering
Data Encryption
Computers -- Security -- General
Computers -- Logic Design
Computers -- Operating Systems -- General
Computers -- Software Development & Engineering -- General
Computer security
Computer architecture & logic design
Operating systems
Software Engineering
Coding theory & cryptology
Computer Communication Networks
Computer security
Logic design
Operating systems (Computers)
Software engineering
Data encryption (Computer science)
Computers -- Hardware -- Network Hardware
Network hardware
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319621050
3319621041
9783319621043 - Related ISBNs:
- 331962105X
9783319621043 - Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed June 29, 2017). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.365867
- Ingest File:
- 01_341.xml