- Model-based Security Engineering for Real Jan Jurjens
- Developing Secure Systems with UMLsec From Business Processes to Implementation
- XML-based Analysis of UML Models for Critical Systems Development
- "JRE_SR_Elicitation" --2009/9/10 --16:47 --page 1 --#1 Noname manuscript No.
- Towards the Secure Modelling of OLAP Users' Carlos Blanco1, Eduardo Fernndez-Medina2
- Security Analysis of Crypto-based Java Programs using Automated Theorem Provers
- Security Analysis of Crypto-based Java Programs using
- Security Modeling and Analysis with UMLsec
- Secure Software: Current Research
- Developing Security-Critical Applications with UMLsec A Short Walk-Through
- Secure Software Architecture Description
- Foundations for Designing Secure Architectures
- Performance Analysis of Security Aspects by Weaving Scenarios Extracted from UML Models
- International Journal on Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Foundations for Designing Secure Architectures
- Model-based Security Testing using UMLsec A case-study
- Secure Database Development Jan Jurjens (1) and Eduardo B. Fernandez (2)
- An Integrated Security Verification and Security Solution Design Trade-Off Analysis Approach
- Model-based Security Engineering with UML: Introducing Security Aspects
- Component-based Development of Dependable Systems with UML
- Tool-support for Model-Driven Development of Security-Critical Systems with UML
- RISK-DRIVEN DEVELOPMENT OF SECURITY-CRITICAL SYSTEMS USING UMLSEC
- Formal Eavesdropping and its Computational Interpretation
- Tools for Traceable Security Verification
- Code Security Analysis with Assertions Jan Jurjens
- Code Security Analysis of a Biometric Authentication System
- Code Security Analysis of a Biometric Authentication System
- Verification of LowVerification of Low--level Cryptolevel Crypto--Protocol Implementations UsingProtocol Implementations Using
- Rubacon: Automated Support for Model-based Compliance Engineering
- Automated Verification of UMLsec Models for Security Requirements
- Model-based Run-time Checking of Security Permissions using
- Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
- Dynamic Secure Aspect Modeling with UML: From Models to Code
- Sound Development of Secure Service-based Systems Martin Deubler Johannes Grunbauer
- Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
- Model-Based Design and Analysis of Permission-Based Security Jan Jrjens, Markus Lehrhuber, and Guido Wimmel
- Introducing Security Aspects with Model Transformation Jorge Fox, Jan Jrjens
- Modelling and Verification of Layered Security Protocols: A Bank Application
- Jan Jrjens Software & Systems Engineering
- Using UMLsec and Goal Trees for Secure Systems Development
- Modelling audit security for smart-card payment schemes
- Secure Java Development with UML Jan Jurjens
- Composability of Secrecy Jan Jurjens
- Evaluating the Reference and Representation of Domain Concepts in APIs
- Extracting Domain Ontologies from Domain Specific APIs Daniel Ratiu* and Martin Feilkas
- 978-1-4244-4547-9/09/$26.00 2009 IEEE TENCON 2009 A Novel Approach to Minimizing the Risks of Soft
- Model-Based Quality Assurance of Automotive Software
- Model-based Quality Assurance of Automotive Software
- MoDe II: Modeling and Analyzing Time-Constraints Jewgenij Botaschanjan and Jan Jrjens
- A Foundation for Tool-Supported Critical Systems Development with UML Jan Jurjens
- Formal Semantics for Interacting UML subsystems
- A UML statecharts semantics with message-passing
- Challenges for the model based development of distributed real time systems
- Challenges for the Model-based Development of
- Towards Verified Crypto-Protocol Implementations
- Incorporating database systems into a secure software development methodology
- Security protocols, properties, and their monitoring Andreas Bauer
- Model-based Security Testing using UMLsec
- Using Interface Specifications for Verifying Crypto-protocol Implementations
- Automated Security Verification for Crypto Protocol Implementations
- Tools and Techniques for Model-based Testing
- Developing Secure Systems with UMLsec: From Business Processes to Implementation
- AutoFOCUS and the MoDe Tool Jan Romberg, Jan Jrjens, Guido Wimmel
- Development of Safety-Critical Systems and Model-based Risk Analysis with UML
- Modelling and Verification of Layered Security Protocols: A Bank Application
- Encapsulating Rules of Prudent Security Engineering
- Formally-Based Black-Box Monitoring of Security Protocols
- Formally testing failsafety of Electronic Purse Protocols
- Rubacon: Automated Support for Model-based Compliance
- Understanding Security Goals Provided by Cryptoprotocol
- Haralambos Mouratidis, Jan Jurjens1 Abstract--Security of intelligent software systems is an important area of research. Although security is
- Model-based Security Engineering with UML: The Last Decade and Towards the Future (Keynote)
- Tools for Model-based Security Engineering Jan Jurjens
- Extracting Domain Ontologies from Domain Specific APIs
- IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements
- Specifications Specifications
- Key Issues of a Formally Based Process Model for Security Engineering
- UMLsec: Extending UML for Secure Systems Development ?
- Automated Analysis of Permission-Based Security using UMLsec
- Methodische Entwicklung sicherer CORBA-Anwendungen
- Developing High-Assurance Secure Systems with UML: A Smartcard-based Purchase Protocol
- Secure Information Systems Engineering: Experiences and Lessons Learned from two Health Care Projects
- Model-based Security Engineering Jan Jurjens
- Security protocols, properties, and their monitoring
- Automated Checking of SAP Security Permissions Sebastian Hohn and Jan Jurjens
- Vol. 0, No. 0, Z Vol. 0, No. 0, Z
- E. Dubois and K. Pohl (Eds.): CAiSE 2006, LNCS 4001, pp. 48 62, 2006. Springer-Verlag Berlin Heidelberg 2006
- Development of SafetyCritical Systems and Modelbased Risk Analysis with UML
- Traceability for the Maintenance of Secure Software Jan Jurjens1
- Dynamic Secure Aspect Modeling with UML
- A Case Study Comparing Bug Finding Tools with Reviews and Tests
- Run-Time Security Traceability for Evolving Systems1
- Specification Specification
- Traceability for Maintenance of Secure Software Systems
- Cyclomatic Complexity = 14 v(G) = e -n + 2
- Universitt Daniel Rei
- Model-based Security Analysis for Mobile Communications Jan Jrjens
- Security Patterns: Comparing Modeling Approaches Armstrong NHLABATSI
- SecurityCritical System Development with Extended Use Cases G. Popp and J. Jurjens and G. Wimmel R. Breu
- Secrecy-preserving Re nement Jan Jurjens ?
- Benedikt L owe, Florian Rudolph (eds.), Foundations of the Formal Sciences
- UMLsec: Extending UML for Secure Systems
- Secure Systems Development with UML
- !"#%$&')(1023456789@ A B 932309 B)C 89@EDFGH9PIQ&0( C
- Complexity-Theoretical Cryptography
- Speci cation-Based Testing of Firewalls ? Jan Jurjens 1 and Guido Wimmel 2
- Formal Development and Veri cation of Security-Critical Systems with UML
- Tools for Secure Systems Development with UML
- Encapsulating Rules of Prudent Security Engineering
- Model-based Security Analysis for Mobile Communications
- Composability of Secrecy Jan Jurjens ?
- Sound Methods and Effective Tools for Model-based Security Engineering with UML
- Sound Methods and Effective Tools for Model-based Security
- Modelbased Security Engineering for Evolving Systems
- Kleine Objekte in Kategorien von Algebren Jan J urjens
- SECURE JAVA DEVELOPMENT Jan Jurjens
- Automated Verification of UMLsec Models
- Model-based Security Engineering with UML Jan Jurjens
- Algebraic State Machines: Concepts and Applications to Security
- Model-based Security Analysis of the German Health Card Architecture
- Towards Using Security Patterns in Model-based System Development
- Sound Methods and Effective Tools for Modelbased Security Engineering with UML
- Developing SafetyCritical Systems with UML Jan Jurjens #
- Evaluating the Reference and Representation of Domain Concepts in APIs Daniel Ratiu
- Abstracting from Failure Probabilities Jan Jurjens
- Quality Assurance forQuality Assurance for Security-Critical SystemsSecurity-Critical Systems
- Model-based Security Engineering of Distributed Information Systems
- Model-based Security Engineering
- The Reality of Libraries Daniel Ratiu
- Linking Cryptoprotocol Verification Jan Jrjens
- Cryptographic Security Verification for C by Symbolic Execution
- Automated Checking of SAP Security Permissions
- Model-based Run-time Checking of Security Permissions using Guarded Objects
- Towards Development of Secure Systems using UMLsec
- Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications *
- Towards Using Game Semantics for Cryptoprotocol
- Transformations for Introducing Patterns A Secure Systems Case-study
- Model-based Security Engineering of Distributed Information Systems using UMLsec
- Automated Security Verification for Crypto-Protocol
- Playing the Devil's Advocate: Testing Real-Time Systems
- Finite Models in FOL-Based Crypto-Protocol Verification
- The Logical Modularity of Programs Daniel Ratiu
- Model-based Security Engineering for Real
- A Framework to Support Alignment of Secure Software Engineering with Legal Regulations1
- Security and Compliance in Clouds1 Kristian Beckers1
- Benedikt Lowe, Florian Rudolph (eds.), Foundations of the Formal Sciences
- Critical Systems Development with UML
- Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem
- Modelling Secure IT Systems--A Survey Johannes Grunbauer, Jan Jurjens, Guido Wimmel
- information Laboratory,
- Model-based Security with UMLsec
- On a problem of Gabriel and Ulmer Jan Jurjens 1
- Speci cation-based Test Generation for Security-Critical Systems Using Mutations ?
- Runtime Verification of Cryptographic Protocols Andreas Bauer a
- M. Breu Sep-04/1M. Breu Sep-04/1 Core Concepts of a Process Model
- Tools for Traceable Security Verification Jan Jurjens and Yijun Yu
- A. Schrr and B. Selic (Eds.): MODELS 2009, LNCS 5795, pp. 7791, 2009. Springer-Verlag Berlin Heidelberg 2009
- Use Case Oriented Development of SecurityCritical Jan Jurjens and Gerhard Popp and Guido Wimmel
- interoperable distributed
- Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving
- Incorporating Security Requirements from Legal Regulations into UMLsec model
- Understanding Security Goals Provided by Crypto-Protocol Implementations
- Verifying Authentication Properties of C Security Protocol Code Using General Verifiers -Extended Abstract
- A Domain-Specific Language for Cryptographic Protocols
- Towards Developing Secure Systems using UML Jan Jurjens
- Using UMLsec and Goal Trees for Secure Systems Development
- Security-Critical System Development with
- Security and Dependability Engineering Jan Jurjens
