Engineering secure software and systems : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. (2016)
- Record Type:
- Book
- Title:
- Engineering secure software and systems : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. (2016)
- Main Title:
- Engineering secure software and systems : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
- Other Titles:
- ESSoS 2016
- Further Information:
- Note: Juan Caballero, Eric Bodden, Elias Athanasopoulos (eds.).
- Editors:
- (Software engineer), Caballero, Juan
Bodden, Eric
Athanasopoulos, Elias - Other Names:
- ESSoS (Symposium), 8th
- Contents:
- 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.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (x, 269 pages), illustrations
- Subjects:
- 005.8
Computer science
Computer security -- Congresses
Software engineering -- Congresses
Data encryption (Computer science) -- Congresses
Computer security
Data encryption (Computer science)
Software engineering
Computers -- Security -- General
Computers -- Software Development & Engineering -- General
Computers -- Programming -- Algorithms
Computers -- Data Processing
Computers -- Online Services -- General
Coding theory & cryptology
Software Engineering
Algorithms & data structures
Maths for computer scientists
Computer science
Computer Communication Networks
Data encryption (Computer science)
Software engineering
Computer software
Computers -- Hardware -- Network Hardware
Network hardware
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319308067
3319308068
9783319308050 - Related ISBNs:
- 331930805X
9783319308050 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed April 4, 2016).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.355765
- Ingest File:
- 01_315.xml