Security and Cryptology

Engineering Secure Software and Systems

4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings

Editors: Barthe, Gilles, Livshits, Ben, Scandariato, Riccardo (Eds.)

Free Preview
  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook n/a
  • ISBN 978-3-642-28166-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-28165-5
  • Free shipping for individuals worldwide
About this book

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present new research results in the field of engineering secure software and systems, whereas the idea papers give crisp expositions of interesting, novel ideas in the early stages of development.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • Application-Replay Attack on Java Cards: When the Garbage Collector Gets Confused

    Pages 1-13

    Barbu, Guillaume (et al.)

  • Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches

    Pages 14-21

    Beckers, Kristian (et al.)

  • Typed Assembler for a RISC Crypto-Processor

    Pages 22-29

    Breuer, Peter T. (et al.)

  • Transversal Policy Conflict Detection

    Pages 30-37

    Casalino, Matteo Maria (et al.)

  • Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings

    Pages 38-45

    Gejibo, Samson (et al.)

Buy this book

eBook n/a
  • ISBN 978-3-642-28166-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-28165-5
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Engineering Secure Software and Systems
Book Subtitle
4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
Editors
  • Gilles Barthe
  • Ben Livshits
  • Riccardo Scandariato
Series Title
Security and Cryptology
Series Volume
7159
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-28166-2
DOI
10.1007/978-3-642-28166-2
Softcover ISBN
978-3-642-28165-5
Edition Number
1
Number of Pages
XII, 151
Number of Illustrations
37 b/w illustrations
Topics