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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642191244, 9783642191251

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Security Twin Peaks

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

10.1007/978-3-642-19125-1_13 ◽

2011 ◽

pp. 167-180 ◽

Cited By ~ 14

Author(s):

Thomas Heyman ◽

Koen Yskout ◽

Riccardo Scandariato ◽

Holger Schmidt ◽

Yijun Yu

Keyword(s):

Twin Peaks

Download Full-text

Predictability of Enforcement

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

10.1007/978-3-642-19125-1_6 ◽

2011 ◽

pp. 73-86 ◽

Cited By ~ 19

Author(s):

Nataliia Bielova ◽

Fabio Massacci

Download Full-text

Idea: Simulation Based Security Requirement Verification for Transaction Level Models

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

10.1007/978-3-642-19125-1_21 ◽

2011 ◽

pp. 264-271

Author(s):

Johannes Loinig ◽

Christian Steger ◽

Reinhold Weiss ◽

Ernst Haselsteiner

Keyword(s):

Security Requirement ◽

Simulation Based ◽

Transaction Level

Download Full-text

Adaptable Authentication Model: Exploring Security with Weaker Attacker Models

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

10.1007/978-3-642-19125-1_18 ◽

2011 ◽

pp. 234-247 ◽

Cited By ~ 1

Author(s):

Naveed Ahmed ◽

Christian D. Jensen

Download Full-text

Security Validation of Business Processes via Model-Checking

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

10.1007/978-3-642-19125-1_3 ◽

2011 ◽

pp. 29-42 ◽

Cited By ~ 22

Author(s):

Wihem Arsac ◽

Luca Compagna ◽

Giancarlo Pellegrino ◽

Serena Elisa Ponta

Keyword(s):

Model Checking ◽

Business Processes

Download Full-text

Idea: A Reference Platform for Systematic Information Security Management Tool Support

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

10.1007/978-3-642-19125-1_20 ◽

2011 ◽

pp. 256-263

Author(s):

Ingo Müller ◽

Jun Han ◽

Jean-Guy Schneider ◽

Steven Versteeg

Keyword(s):

Information Security ◽

Security Management ◽

Management Tool ◽

Tool Support ◽

Information Security Management ◽

Systematic Information

Download Full-text

After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes

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

10.1007/978-3-642-19125-1_15 ◽

2011 ◽

pp. 195-208 ◽

Cited By ~ 12

Author(s):

Fabio Massacci ◽

Stephan Neuhaus ◽

Viet Hung Nguyen

Download Full-text

Evolution of Security Requirements Tests for Service–Centric Systems

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

10.1007/978-3-642-19125-1_14 ◽

2011 ◽

pp. 181-194 ◽

Cited By ~ 11

Author(s):

Michael Felderer ◽

Berthold Agreiter ◽

Ruth Breu

Keyword(s):

Security Requirements

Download Full-text

A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications

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

10.1007/978-3-642-19125-1_11 ◽

2011 ◽

pp. 142-155 ◽

Cited By ~ 3

Author(s):

Linda Ariani Gunawan ◽

Frank Alexander Kraemer ◽

Peter Herrmann

Keyword(s):

Distributed Applications ◽

Design And Implementation

Download Full-text

Lightweight Modeling and Analysis of Security Concepts

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

10.1007/978-3-642-19125-1_10 ◽

2011 ◽

pp. 128-141 ◽

Cited By ~ 4

Author(s):

Jörn Eichler

Keyword(s):

Modeling And Analysis

Download Full-text

Lecture Notes in Computer Science - Engineering Secure Software and SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Security Twin Peaks

Predictability of Enforcement

Idea: Simulation Based Security Requirement Verification for Transaction Level Models

Adaptable Authentication Model: Exploring Security with Weaker Attacker Models

Security Validation of Business Processes via Model-Checking

Idea: A Reference Platform for Systematic Information Security Management Tool Support

After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes

Evolution of Security Requirements Tests for Service–Centric Systems

A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications

Lightweight Modeling and Analysis of Security Concepts

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