Amazon cover image
Image from Amazon.com

Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / Eric Bodden, Mathias Payer, Elias Athanasopoulos (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 10379. | LNCS sublibrary. SL 4, Security and cryptology.Publisher: Cham : Springer, 2017Description: 1 online resource (x, 241 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319621050
  • 331962105X
  • 3319621041
  • 9783319621043
Other title:
  • ESSoS 2017
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.8 23
LOC classification:
  • QA76.9.A25 E77 2017eb
Online resources:
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.
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed June 29, 2017).

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.

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.

Includes bibliographical references and author index.

Powered by Koha