Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings

Front Cover
Gilles Barthe, Ben Livshits, Riccardo Scandariato
Springer Science & Business Media, Jan 30, 2012 - Computers - 151 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

When the Garbage Collector Gets Confused
1
Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Enginee...
14
Typed Assembler for a RISC CryptoProcessor
22
Transversal Policy Conflict Detection
30
Challenges in Implementing an EndtoEnd Secure Protocol for Java MEBased Mobile Data Collection in LowBudget Settings
38
Runtime Enforcement of Information Flow Security in Tree Manipulating Processes
46
Formalisation and Implementation of the XACML Access Control Mechanism
60
A Task Ordering Approach for Automatic Trust Establishment
75
An Idea of an Independent Validation of Vulnerability Discovery Models
89
A Sound Decision Procedure for the Compositionality of Secrecy
97
Attack Strategies and Defense Techniques
106
Design of Adaptive Security Mechanisms for RealTime Embedded Systems
121
Hunting ApplicationLevel Logical Errors
135
Optimal Trust Mining and Computingon Keyed Map Reduce
143
Author Index
151
Copyright

Other editions - View all

Common terms and phrases