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

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642001987, 9783642001994

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Toward Non-security Failures as a Predictor of Security Faults and Failures

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

10.1007/978-3-642-00199-4_12 ◽

2009 ◽

pp. 135-149 ◽

Author(s):

Michael Gegick ◽

Pete Rotella ◽

Laurie Williams

Download Full-text

Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer

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

10.1007/978-3-642-00199-4_11 ◽

2009 ◽

pp. 122-134 ◽

Author(s):

Laurie Williams ◽

Michael Gegick ◽

Andrew Meneely

Keyword(s):

Risk Assessment ◽

Knowledge Transfer ◽

Software Security ◽

Security Risk ◽

Security Risk Assessment

Download Full-text

Report: Extensibility and Implementation Independence of the .NET Cryptographic API

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

10.1007/978-3-642-00199-4_9 ◽

2009 ◽

pp. 101-110

Author(s):

Pieter Philippaerts ◽

Cédric Boon ◽

Frank Piessens

Download Full-text

Idea: Automatic Security Testing for Web Applications

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

10.1007/978-3-642-00199-4_15 ◽

2009 ◽

pp. 180-184 ◽

Author(s):

Thanh-Binh Dao ◽

Etsuya Shibayama

Keyword(s):

Web Applications ◽

Security Testing

Download Full-text

From Formal Access Control Policies to Runtime Enforcement Aspects

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

10.1007/978-3-642-00199-4_2 ◽

2009 ◽

pp. 16-31 ◽

Author(s):

Slim Kallel ◽

Anis Charfi ◽

Mira Mezini ◽

Mohamed Jmaiel ◽

Karl Klose

Keyword(s):

Access Control ◽

Control Policies ◽

Runtime Enforcement ◽

Access Control Policies

Download Full-text

MEDS: The Memory Error Detection System

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

10.1007/978-3-642-00199-4_14 ◽

2009 ◽

pp. 164-179 ◽

Author(s):

Jason D. Hiser ◽

Clark L. Coleman ◽

Michele Co ◽

Jack W. Davidson

Keyword(s):

Error Detection ◽

Detection System ◽

Download Full-text

Architectural Refinement and Notions of Intransitive Noninterference

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

10.1007/978-3-642-00199-4_6 ◽

2009 ◽

pp. 60-74 ◽

Author(s):

Ron van der Meyden

Download Full-text

Verification of Business Process Entailment Constraints Using SPIN

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

10.1007/978-3-642-00199-4_1 ◽

2009 ◽

pp. 1-15 ◽

Author(s):

Christian Wolter ◽

Philip Miseldine ◽

Christoph Meinel

Keyword(s):

Business Process

Download Full-text

Pattern-Based Confidentiality-Preserving Refinement

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

10.1007/978-3-642-00199-4_5 ◽

2009 ◽

pp. 43-59 ◽

Author(s):

Holger Schmidt

Download Full-text

Idea: Action Refinement for Security Properties Enforcement

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

10.1007/978-3-642-00199-4_4 ◽

2009 ◽

pp. 37-42 ◽

Author(s):

Fabio Martinelli ◽

Ilaria Matteucci

Keyword(s):

Action Refinement ◽

Security Properties

Download Full-text