achim-d-brucker documents

Security in the Context of Business Processes: Thoughts from a System Vendor's Perspective
Technology Security in the Context of Business Processes: Thoughts from a System Vendor's Perspective
SAST for JavaScript: A Brief Overview of Commercial Tools
Technology SAST for JavaScript: A Brief Overview of Commercial Tools
Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL
Technology Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL
A Collection of Real World (JavaScript) Security Problems: Examples from 2 1/2 Applications Areas of JavaScript
Technology A Collection of Real World (JavaScript) Security Problems: Examples from 2 1/2 Applications Areas of JavaScript
Model-based Conformance Testing of Security Properties
Technology Model-based Conformance Testing of Security Properties
Service Compositions: Curse or Blessing for Security?
Technology Service Compositions: Curse or Blessing for Security?
Industrial Challenges of Secure Software Development
Software Industrial Challenges of Secure Software Development
Extending Access Control Models with Break-glass
Technology Extending Access Control Models with Break-glass
BPM and Cloud Integration: A New Driver for Research in Security in Business Processes
Technology BPM and Cloud Integration: A New Driver for Research in Security in Business Processes
A Framework for Secure Service Composition
Technology A Framework for Secure Service Composition
Encoding Object-oriented Datatypes in HOL: Extensible Records Revisited
Technology Encoding Object-oriented Datatypes in HOL: Extensible Records Revisited
Integrating Application Security into a Software Development Process
Technology Integrating Application Security into a Software Development Process
Security Testing: Myths, Challenges, and Opportunities - Experiences in Integrating Security Testing "End-to-End" Into the Software Life-Cycle at SAP
Software Security Testing: Myths, Challenges, and Opportunities - Experiences in Integrating Security Testing "End-to-End" Into the Software Life-Cycle at SAP
Bringing Security Testing to Development: How to Enable Developers to Act as Security Experts
Software Bringing Security Testing to Development: How to Enable Developers to Act as Security Experts
Deploying Static Application Security Testing on a Large Scale
Technology Deploying Static Application Security Testing on a Large Scale
Verifying Test-Hypotheses: An Experiment in Test and Proof
Documents Verifying Test-Hypotheses: An Experiment in Test and Proof
A Case Study of a Formalized Security Architecture
Documents A Case Study of a Formalized Security Architecture
On the Static Analysis of Hybrid Mobile Apps: A Report on the State of Apache Cordova Nation
Technology On the Static Analysis of Hybrid Mobile Apps: A Report on the State of Apache Cordova Nation
Using Third Party Components for Building an Application Might be More Dangerous Than You Think!
Technology Using Third Party Components for Building an Application Might be More Dangerous Than You Think!
Isabelle: Not Only a Proof Assistant
Technology Isabelle: Not Only a Proof Assistant