scientific article; zbMATH DE number 1946752

MaRDI QIDQ4411077zbMATH OpenFDO

Authors Torsten Lodderstedt, Jürgen Doser, David Basin

Publication date 7 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2460/24600426.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1946751
• scientific article; zbMATH DE number 1947520
• scientific article; zbMATH DE number 1693520
• scientific article; zbMATH DE number 1945869
• Secure Systems Development with UML

Cited in

(12)

• A domain-specific language for cryptographic protocols based on streams
• SecureUML
• Modeling and performance analysis for security aspects
• Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis
• scientific article; zbMATH DE number 1693520 (Why is no real title available?)
• Model-Driven Development of Security-Aware GUIs for Data-Centric Applications
• A model-driven security requirements approach to deduce security policies based on OrBAC
• scientific article; zbMATH DE number 1189381 (Why is no real title available?)
• scientific article; zbMATH DE number 1945869 (Why is no real title available?)
• scientific article; zbMATH DE number 1946751 (Why is no real title available?)
• Model-Based Testing for Functional and Security Test Generation
• Model-based security engineering: managed co-evolution of security knowledge and software models

Describes a project that uses

Uses Software

• HOL-OCL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411077)