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

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

2009 ◽  
pp. 135-149 ◽  
Author(s):  
Michael Gegick ◽  
Pete Rotella ◽  
Laurie Williams

Idea: Automatic Security Testing for Web Applications

2009 ◽  
pp. 180-184 ◽  
Author(s):  
Thanh-Binh Dao ◽  
Etsuya Shibayama
Keyword(s):  
Web Applications ◽  
Security Testing

From Formal Access Control Policies to Runtime Enforcement Aspects

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

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

2009 ◽  
pp. 101-110
Author(s):  
Pieter Philippaerts ◽  
Cédric Boon ◽  
Frank Piessens

MEDS: The Memory Error Detection System

2009 ◽  
pp. 164-179 ◽  
Author(s):  
Jason D. Hiser ◽  
Clark L. Coleman ◽  
Michele Co ◽  
Jack W. Davidson
Keyword(s):  
Error Detection ◽  
Detection System ◽  
Memory Error

Verification of Business Process Entailment Constraints Using SPIN

2009 ◽  
pp. 1-15 ◽  
Author(s):  
Christian Wolter ◽  
Philip Miseldine ◽  
Christoph Meinel
Keyword(s):  
Business Process

Idea: Action Refinement for Security Properties Enforcement

2009 ◽  
pp. 37-42 ◽  
Author(s):  
Fabio Martinelli ◽  
Ilaria Matteucci
Keyword(s):  
Action Refinement ◽  
Security Properties
Load More ...
Sign in / Sign up

Export Citation Format

Share Document