Lecture Notes in Computer Science - Engineering Secure Software and Systems
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer International Publishing

9783319308050, 9783319308067

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sound and Precise Cross-Layer Data Flow Tracking

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_3 ◽

2016 ◽

pp. 38-55 ◽

Author(s):

Enrico Lovat ◽

Martín Ochoa ◽

Alexander Pretschner

Keyword(s):

Data Flow ◽

Cross Layer ◽

Data Flow Tracking

Download Full-text

HexPADS: A Platform to Detect “Stealth” Attacks

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_9 ◽

2016 ◽

pp. 138-154 ◽

Author(s):

Mathias Payer

Download Full-text

Security Testing Beyond Functional Tests

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_1 ◽

2016 ◽

pp. 1-19 ◽

Author(s):

Mohammad Torabi Dashti ◽

David Basin

Keyword(s):

Functional Tests ◽

Security Testing

Download Full-text

Automatically Extracting Threats from Extended Data Flow Diagrams

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_4 ◽

2016 ◽

pp. 56-71 ◽

Author(s):

Bernhard J. Berger ◽

Karsten Sohr ◽

Rainer Koschke

Keyword(s):

Data Flow ◽

Flow Diagrams ◽

Data Flow Diagrams

Download Full-text

Idea: Supporting Policy-Based Access Control on Database Systems

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_16 ◽

2016 ◽

pp. 251-259

Author(s):

Jasper Bogaerts ◽

Bert Lagaisse ◽

Wouter Joosen

Keyword(s):

Access Control ◽

Database Systems

Download Full-text

On the Security Cost of Using a Free and Open Source Component in a Proprietary Product

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_12 ◽

2016 ◽

pp. 190-206 ◽

Author(s):

Stanislav Dashevskyi ◽

Achim D. Brucker ◽

Fabio Massacci

Keyword(s):

Open Source ◽

Source Component ◽

Proprietary Product

Download Full-text

Semantics-Based Repackaging Detection for Mobile Apps

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_6 ◽

2016 ◽

pp. 89-105 ◽

Author(s):

Quanlong Guan ◽

Heqing Huang ◽

Weiqi Luo ◽

Sencun Zhu

Keyword(s):

Download Full-text

Idea: Usable Platforms for Secure Programming – Mining Unix for Insight and Guidelines

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_13 ◽

2016 ◽

pp. 207-215 ◽

Author(s):

Sven Türpe

Keyword(s):

Secure Programming

Download Full-text

Progress-Sensitive Security for SPARK

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_2 ◽

2016 ◽

pp. 20-37 ◽

Author(s):

Willard Rafnsson ◽

Deepak Garg ◽

Andrei Sabelfeld

Download Full-text

Empirical Analysis and Modeling of Black-Box Mutational Fuzzing

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_11 ◽

2016 ◽

pp. 173-189 ◽

Author(s):

Mingyi Zhao ◽

Peng Liu

Keyword(s):

Empirical Analysis ◽

Download Full-text