Skip to main content
SpringerLink
Log in
Book cover

Engineering Secure Software and Systems

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Gilles Barthe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benjamin Livshits
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Riccardo Scandariato
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7159)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: ESSoS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Application-Replay Attack on Java Cards: When the Garbage Collector Gets Confused

    • Guillaume Barbu, Philippe Hoogvorst, Guillaume Duc
    Pages 1-13

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

    • Kristian Beckers, Stephan Faßbender, Maritta Heisel, Jan-Christoph Küster, Holger Schmidt
    Pages 14-21

  4. Typed Assembler for a RISC Crypto-Processor

    • Peter T. Breuer, Jonathan P. Bowen
    Pages 22-29

  5. Transversal Policy Conflict Detection

    • Matteo Maria Casalino, Henrik Plate, Slim Trabelsi
    Pages 30-37

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

    • Samson Gejibo, Federico Mancini, Khalid A. Mughal, Remi Valvik, Jørn Klungsøyr
    Pages 38-45

  7. Runtime Enforcement of Information Flow Security in Tree Manipulating Processes

    • Máté Kovács, Helmut Seidl
    Pages 46-59

  8. Formalisation and Implementation of the XACML Access Control Mechanism

    • Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
    Pages 60-74

  9. A Task Ordering Approach for Automatic Trust Establishment

    • Francisco Moyano, Carmen Fernandez-Gago, Isaac Agudo, Javier Lopez
    Pages 75-88

  10. An Idea of an Independent Validation of Vulnerability Discovery Models

    • Viet Hung Nguyen, Fabio Massacci
    Pages 89-96

  11. A Sound Decision Procedure for the Compositionality of Secrecy

    • Martín Ochoa, Jan Jürjens, Daniel Warzecha
    Pages 97-105

  12. Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques

    • Rahul Potharaju, Andrew Newell, Cristina Nita-Rotaru, Xiangyu Zhang
    Pages 106-120

  13. Design of Adaptive Security Mechanisms for Real-Time Embedded Systems

    • Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin
    Pages 121-134

  14. Hunting Application-Level Logical Errors

    • George Stergiopoulos, Bill Tsoumas, Dimitris Gritzalis
    Pages 135-142

  15. Optimal Trust Mining and Computing on Keyed MapReduce

    • Huafei Zhu, Hong Xiao
    Pages 143-150

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Engineering Secure Software and Systems

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation