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
• 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.