دانلود کتاب Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

فهرست مطالب :

Front Matter....Pages I-XVIII
Detecting Code Reuse Attacks with a Model of Conformant Program Execution....Pages 1-18
Security@Runtime : A Flexible MDE Approach to Enforce Fine-grained Security Policies....Pages 19-34
Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services....Pages 35-44
Automated Formal Verification of Application-specific Security Properties....Pages 45-59
Fault-Tolerant Non-interference....Pages 60-76
Quantitative Security Analysis for Programs with Low Input and Noisy Output....Pages 77-94
A Modeling and Formal Approach for the Precise Specification of Security Patterns....Pages 95-112
On the Relation between Redactable and Sanitizable Signature Schemes....Pages 113-130
Idea: Towards a Working Fully Homomorphic Crypto-processor....Pages 131-140
Architectures for Inlining Security Monitors in Web Applications....Pages 141-160
Automatic and Robust Client-Side Protection for Cookie-Based Sessions....Pages 161-178
Security Testing of GSM Implementations....Pages 179-195
User-Centric Security Assessment of Software Configurations: A Case Study....Pages 196-212
Idea: Security Engineering Principles for Day Two Car2X Applications....Pages 213-221
Idea: Embedded Fault Injection Simulator on Smartcard....Pages 222-229
Back Matter....Pages -