Secure systems development with UML

DOI10.1007/B137706MaRDI QIDQ4443488zbMATH OpenOpenAlexFDO

Authors Jan Jürjens

Publication date 13 January 2004

Full work available at URL https://doi.org/10.1007/b137706

zbMATH Keywords

securityUML specifications

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• UMLsec: Extending UML for secure systems development
• Eine Erweiterung der unified modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen. (An extension of the unified modeling language for tracing software requirements in safety critical systems.)
• Towards development of secure systems using UMLsec
• The unified modeling language
• Encapsulating rules of prudent security engineering (Position paper)

Cited in

(11)

• A domain-specific language for cryptographic protocols based on streams
• Formally sound implementations of security protocols with JavaSPI
• Architectural refinement and notions of intransitive noninterference
• Towards development of secure systems using UMLsec
• Object modeling of cryptographic algorithms with UML
• UMLsec: Extending UML for secure systems development
• SecureUML: A UML-based modeling language for model-driven security
• Encapsulating rules of prudent security engineering (Position paper)
• scientific article; zbMATH DE number 2080185 (Why is no real title available?)
• Threat scenarios as a means to formally develop secure systems
• Model-based security engineering: managed co-evolution of security knowledge and software models

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Secure systems development with UML

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