Jan Jürjens

Amir Shayan Ahmadian

Proceedings of the MODELSWARD 2015, 2015

Restoring Security of Long-Living Systems by Co-evolution.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Preserving Validity of Batch-Job Nets under Change at Run-Time.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds.

[BibT_eX]

[DOI]

Amir Shayan Ahmadian

Fabian Coerschulte

Proceedings of the Business Modeling and Software Design - 5th International Symposium, 2015

2014

Versioning and Evolution Requirements for Model-Based System Development.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2014

Guiding a general-purpose C verifier to prove cryptographic protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2014

Evolution of Security Engineering Artifacts: A State of the Art Survey.

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 2014

Specifying model changes with UMLchange to support security verification of potential evolution.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2014

Security in information systems: Advances and new challenges.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2014

The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution.

[BibT_eX]

[DOI]

Kurt Schneider

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen.

[BibT_eX]

[DOI]

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

Maintaining requirements for long-living software systems by incorporating security knowledge.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Towards Adaptation and Evolution of Domain-Specific Knowledge for Maintaining Secure Systems.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2014

2013

Resolving vulnerability identification errors using security requirements on business process models.

[BibT_eX]

[DOI]

Inf. Manag. Comput. Secur., 2013

Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design VII, 2013

Using Ontologies to Analyze Compliance Requirements of Cloud-Based Processes.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Science - Third International Conference, 2013

Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes.

[BibT_eX]

Proceedings of the CLOSER 2013, 2013

2012

Enhancing security requirements engineering by organizational learning.

[BibT_eX]

[DOI]

Requir. Eng., 2012

Security in Information Systems: New Challenges and Opportunities.

[BibT_eX]

[DOI]

David Garcia Rosado

Luis Enrique Sánchez

Eduardo Fernández-Medina

J. Univers. Comput. Sci., 2012

Non-interference on UML State-Charts.

[BibT_eX]

[DOI]

Martín Ochoa

Jorge Cuéllar

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec.

[BibT_eX]

[DOI]

Thomas Ruhroth

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

A Sound Decision Procedure for the Compositionality of Secrecy.

[BibT_eX]

[DOI]

Martín Ochoa

Daniel Warzecha

Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

Securing Processes for Outsourcing into the Cloud.

[BibT_eX]

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

Computational verification of C protocol implementations by symbolic execution.

[BibT_eX]

[DOI]

Mihhail Aizatulin

Andrew D. Gordon

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

A framework to support alignment of secure software engineering with legal regulations.

[BibT_eX]

[DOI]

Shareeful Islam

Softw. Syst. Model., 2011

An Efficient Approach towards Mitigating Soft Errors Risks

[BibT_eX]

[DOI]

Muhammad Sheikh Sadi

Md. Mizanur Rahman Khan

Md. Nazim Uddin

CoRR, 2011

Run-Time Security Traceability for Evolving Systems.

[BibT_eX]

[DOI]

Comput. J., 2011

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Problem Analysis of Traditional IT-Security Risk Assessment Methods - An Experience Report from the Insurance and Auditing Domain.

[BibT_eX]

[DOI]

Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

Supporting Requirements Engineers in Recognising Security Issues.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2011

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Seventh international workshop on software engineering for secure systems: (SESS 2011).

[BibT_eX]

[DOI]

Seok-Won Lee

Mattia Monga

Proceedings of the 33rd International Conference on Software Engineering, 2011

Automated security hardening for evolving UML models.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Systematic Development of UMLsec Design Models Based on Security Requirements.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Incremental Security Verification for Evolving UMLsec models.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Extracting and verifying cryptographic models from C protocol code by symbolic execution.

[BibT_eX]

[DOI]

Mihhail Aizatulin

Andrew D. Gordon

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec.

[BibT_eX]

[DOI]

Holger Schmidt

Proceedings of the Advanced Information Systems Engineering, 2011

Model-Based Security Verification and Testing for Smart-cards.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Availability, 2011

2010

Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec.

[BibT_eX]

[DOI]

Requir. Eng., 2010

From goal-driven security requirements engineering to secure design.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2010

Component criticality analysis to minimize soft errors risk.

[BibT_eX]

Comput. Syst. Sci. Eng., 2010

Runtime verification of cryptographic protocols.

[BibT_eX]

[DOI]

Comput. Secur., 2010

Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote).

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Towards the Secure Modelling of OLAP Users' Behaviour.

[BibT_eX]

[DOI]

Carlos Blanco

Eduardo Fernández-Medina

Juan Trujillo

Proceedings of the Secure Data Management, 7th VLDB Workshop, SDM 2010, Singapore, 2010

Tool support for code generation from a UMLsec property.

[BibT_eX]

[DOI]

Pierre-Yves Schobbens

Hubert Toussaint

Proceedings of the ASE 2010, 2010

Security and Compliance in Clouds.

[BibT_eX]

[DOI]

Kristian Beckers

Proceedings of the ISSE 2010, 2010

The 6<sup>th</sup> International Workshop on Software Engineering for Secure Systems (SESS'10).

[BibT_eX]

[DOI]

Seok-Won Lee

Mattia Monga

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Formally-Based Black-Box Monitoring of Security Protocols.

[BibT_eX]

[DOI]

Alfredo Pironti

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2009

Security and Dependability Engineering.

[BibT_eX]

[DOI]

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

Secure Database Development.

[BibT_eX]

[DOI]

Eduardo B. Fernández

Proceedings of the Encyclopedia of Database Systems, 2009

Performance analysis of security aspects by weaving scenarios extracted from UML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

A domain-specific language for cryptographic protocols based on streams.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Model-Driven Development for secure information systems.

[BibT_eX]

[DOI]

Eduardo Fernández-Medina

Juan Trujillo

Sushil Jajodia

Inf. Softw. Technol., 2009

The Logical Modularity of Programs.

[BibT_eX]

[DOI]

Radu Marinescu

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09).

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Security Analysis of a Biometric Authentication System Using UMLsec and JML.

[BibT_eX]

[DOI]

John Lloyd

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Finite Models in FOL-Based Crypto-Protocol Verification.

[BibT_eX]

[DOI]

Tjark Weber

Proceedings of the Foundations and Applications of Security Analysis, 2009

Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects.

[BibT_eX]

[DOI]

Ali Sunyaev

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008

Model-based Security Testing Using UMLsec: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 8th International Workshop, 2008

First International Modeling Security Workshop.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements.

[BibT_eX]

[DOI]

Stefan Taubenberger

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

Model-Based Quality Assurance of Automotive Software.

[BibT_eX]

[DOI]

Daniel Reiß

David Trachtenherz

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Incorporating Security Requirements from Legal Regulations into UMLsec model.

[BibT_eX]

[DOI]

Shareeful Islam

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

Tools for Traceability in Secure Software Development.

[BibT_eX]

[DOI]

Jörg Schreck

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Evaluating the Reference and Representation of Domain Concepts in APIs.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

Traceability for the maintenance of secure software.

[BibT_eX]

[DOI]

John Mylopoulos

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Model-based security analysis for mobile communications.

[BibT_eX]

[DOI]

Jörg Schreck

Peter Bartmann

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Rubacon: automated support for model-based compliance engineering.

[BibT_eX]

[DOI]

Sebastian Höhn

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Security protocols, properties, and their monitoring.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, 2008

Automated Analysis of Permission-Based Security Using UMLsec.

[BibT_eX]

[DOI]

Jörg Schreck

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Incorporating Database Systems into a Secure Software Development Methodology.

[BibT_eX]

[DOI]

Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

Extracting Domain Ontologies from Domain Specific APIs.

[BibT_eX]

[DOI]

Martin Feilkas

Proceedings of the 12th European Conference on Software Maintenance and Reengineering, 2008

Tools for Traceable Security Verification.

[BibT_eX]

[DOI]

Proceedings of the Visions of Computer Science, 2008

2007

Tools for secure systems development with UML.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

Performance analysis of security aspects in UML models.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software and Performance, 2007

Tools for model-based security engineering: models vs. code.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Developing Secure Embedded Systems: Pitfalls and How to Avoid Them.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Model-Based Security Engineering of Distributed Information Systems Using UMLsec.

[BibT_eX]

[DOI]

Bastian Best

Bashar Nuseibeh

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

The Reality of Libraries.

[BibT_eX]

[DOI]

Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006

Model-Based Security Engineering.

[BibT_eX]

Proceedings of the SECRYPT 2006, 2006

Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Tools for model-based security engineering.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Model-Based Security Engineering for Real.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

A Framework for Analyzing Composition of Security Aspects.

[BibT_eX]

[DOI]

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Towards a Comprehensive Framework for Secure Systems Development.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005

Component-Based Development of Dependable Systems with UML.

[BibT_eX]

[DOI]

Stefan Wagner

Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Dynamic Secure Aspect Modeling with UML: From Models to Code.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Comparing Bug Finding Tools with Reviews and Tests.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2005

Verification of low-level crypto-protocol implementations using automated theorem proving.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Code security analysis with assertions.

[BibT_eX]

[DOI]

Mark Yampolskiy

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Understanding Security Goals Provided by Crypto-Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Sound methods and effective tools for model-based security engineering with UML.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-Based Design and Analysis of Permission-Based Security.

[BibT_eX]

[DOI]

Markus Lehrhuber

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Towards using game semantics for crypto protocol verification: Lorenzen games.

[BibT_eX]

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

Model-Based Security Engineering with UML: Introducing Security Aspects.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Tools for Secure Systems Development with UML: Security Analysis with ATPs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Model-Based Identification of Fault-Prone Components.

[BibT_eX]

[DOI]

Stefan Wagner

Proceedings of the Dependable Computing, 2005

Introducing Security Aspects with Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

MoDeII: Modeling and Analyzing Time-Constraints.

[BibT_eX]

[DOI]

Jewgenij Botaschanjan

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

Tool Support for Model-Driven Development of Security-Critical Systems with UML.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Software Development, 2005

Secure systems development with UML.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-540-00701-2, 2005

2004

Componentware for Critical Systems.

[BibT_eX]

[DOI]

J. Object Technol., 2004

Foundations for Designing Secure Architectures.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Tools for Critical Systems Development with UML (Tool Demo).

[BibT_eX]

[DOI]

Proceedings of the UML Modeling Languages and Applications, 2004

Automated Verification of UMLsec Models for Security Requirements.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).

[BibT_eX]

[DOI]

Constance L. Heitmeyer

Proceedings of the UML Modeling Languages and Applications, 2004

Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem.

[BibT_eX]

[DOI]

Robert Schmidt

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Modelling Secure IT Systems - A Survey.

[BibT_eX]

[DOI]

Johannes Grünbauer

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Risk-Driven Development Of Security-Critical Systems Using UMLsec.

[BibT_eX]

[DOI]

Proceedings of the Information Technology, Selected Tutorials, 2004

Sound development of secure service-based systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2004

Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Model-Based Security Engineering with UML.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design III, 2004

A Foundation for Tool-Supported Critical Systems Development with UML.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2003

Developing Safety-Critical Systems with UML.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2003, 2003

Automated Checking of SAP Security Permisisons.

[BibT_eX]

[DOI]

Sebastian Höhn

Proceedings of the Integrity and Internal Control in Information Systems VI, 2003

Critical Systems Development with UML: Overview with Automatic Case Study.

[BibT_eX]

Johannes Grünbauer

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Modelling and Verification of Layered Security Protocols: A Bank Application.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2003

Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Algebraic State Machines: Concepts and Applications to Security.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

Security-Critical System Development with Extended Use Cases.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

AutoFOCUS and the MoDe Tool.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Principles for secure system design.

[BibT_eX]

[DOI]

PhD thesis, 2002

Games In The Semantics Of Programming Languages - An Elementary Introduction.

[BibT_eX]

[DOI]

Synth., 2002

UMLsec: Extending UML for Secure Systems Development.

[BibT_eX]

[DOI]

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Using UMLsec and goal trees for secure systems development.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A UML statecharts semantics with message-passing.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Specification-Based Test Generation for Security-Critical Systems Using Mutations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

Formal Semantics for Interacting UML subsystems.

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2001

Developing Secure Systems with UMLsec - From Business Processes to Implementation.

[BibT_eX]

[DOI]

Proceedings of the Verlässliche IT-Systeme 2001: Sicherheit in komplexen IT-Infrastrukturen, 2001

Formal Eavesdropping and Its Computational Interpretation.

[BibT_eX]

[DOI]

Martín Abadi

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2001

Encapsulating Rules of Prudent Security Engineering.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2001

Modelling Audit Security for Smart-Cart Payment Schemes with UML-SEC.

[BibT_eX]

[DOI]

Proceedings of the Trusted Information: The New Decade Challenge, 2001

Secure Java Development with UML.

[BibT_eX]

[DOI]

Proceedings of the Advances in Network and Distributed Systems Security, 2001

Composability of Secrecy.

[BibT_eX]

[DOI]

Proceedings of the Information Assurance in Computer Networks: Methods, 2001

Formally Testing Fail-Safety of Electronic Purse Protocols.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications.

[BibT_eX]

[DOI]

Proceedings of the Towards The E-Society: E-Commerce, 2001

Secrecy-Preserving Refinement.

[BibT_eX]

[DOI]

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Towards Development of Secure Systems Using UMLsec.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Specification-Based Testing of Firewalls.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

Abstracting from Failure Probabilities.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

Secure Information Flow for Concurrent Processes.

[BibT_eX]

[DOI]