Publication has no abstract
- Verification of Business Process Entailment Constraints Using SPINChristian Wolter, Philip Miseldine, Christoph Meinel. 1-15 [doi]
- From Formal Access Control Policies to Runtime Enforcement AspectsSlim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose. 16-31 [doi]
- Idea: Trusted Emergency ManagementTimothy E. Levin, Cynthia E. Irvine, Terry Benzel, Thuy D. Nguyen, Paul C. Clark, Ganesha Bhaskara. 32-36 [doi]
- Idea: Action Refinement for Security Properties EnforcementFabio Martinelli, Ilaria Matteucci. 37-42 [doi]
- Pattern-Based Confidentiality-Preserving RefinementHolger Schmidt. 43-59 [doi]
- Architectural Refinement and Notions of Intransitive NoninterferenceRon van der Meyden. 60-74 [doi]
- Systematically Eradicating Data Injection Attacks Using Security-Oriented Program TransformationsMunawar Hafiz, Paul Adamczyk, Ralph E. Johnson. 75-90 [doi]
- Report: Measuring the Attack Surfaces of Enterprise SoftwarePratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing. 91-100 [doi]
- Report: Extensibility and Implementation Independence of the .NET Cryptographic APIPieter Philippaerts, Cédric Boon, Frank Piessens. 101-110 [doi]
- Report: CC-Based Design of Secure Application SystemsRobin Sharp. 111-121 [doi]
- Protection Poker: Structuring Software Security Risk Assessment and Knowledge TransferLaurie Williams, Michael Gegick, Andrew Meneely. 122-134 [doi]
- Toward Non-security Failures as a Predictor of Security Faults and FailuresMichael Gegick, Pete Rotella, Laurie Williams. 135-149 [doi]
- A Scalable Approach to Full Attack Graphs GenerationFeng Chen, Jinshu Su, Yi Zhang. 150-163 [doi]
- MEDS: The Memory Error Detection SystemJason Hiser, Clark L. Coleman, Michele Co, Jack W. Davidson. 164-179 [doi]
- Idea: Automatic Security Testing for Web ApplicationsThanh-Binh Dao, Etsuya Shibayama. 180-184 [doi]
- Report: Functional Security Testing Closing the Software - Security Testing Gap: A Case from a Telecom ProviderAlbin Zuccato, Clemens Kögler. 185-194 [doi]
- Idea: Measuring the Effect of Code Complexity on Static Analysis ResultsJames Walden, Adam Messer, Alex Kuhl. 195-199 [doi]