Engineering Secure Software and Systems : 8th International Symposium, Essos 2016, London, Uk, April 6-8, 2016. Proceedings
Overview
Security Testing beyond Functional Tests.- Progress-Sensitive Security for SPARK.- Sound and Precise Cross-Layer Data Flow Tracking.- Automatically Extracting Threats from Extended Data Flow Diagrams.- On the Static Analysis of Hybrid Mobile Apps.- Semantics-based Repackaging Detection for Mobile Apps.- Accelerometer-based Device Fingerprinting for Multi-factor Mobile Authentication.- POODLEs, More POODLEs, FREAK Attacks too: How Server Administrators Responded to Three Serious Web Vulnerabilities.- PADS: a platform to detect stealth attacks.- Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing.- On the Security Cost of Using a Free and Open Source Component in a Proprietary Product.- Idea: Usable Platforms for Secure Programming { Mining Unix for Insight and Guidelines.- AppPAL for Android: Capturing and Checking Mobile App Policies.- Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language.- Idea: Supporting Policy-Based Access Control on Database Systems.- Idea: Enforcing Security Properties by Solving Behavioural Equations.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783319308050
- ISBN-10: 331930805X
- Publisher: Springer
- Publish Date: March 2016
- Dimensions: 9.21 x 6.14 x 0.59 inches
- Shipping Weight: 0.87 pounds
- Page Count: 269
Related Categories
