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

• scientific article; zbMATH DE number 1946751
• 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.)
• scientific article; zbMATH DE number 1693520
• The unified modeling language
• scientific article; zbMATH DE number 1947520

Cited in

(11)

• Threat scenarios as a means to formally develop secure systems
• scientific article; zbMATH DE number 1947520 (Why is no real title available?)
• A domain-specific language for cryptographic protocols based on streams
• scientific article; zbMATH DE number 2080185 (Why is no real title available?)
• scientific article; zbMATH DE number 1189381 (Why is no real title available?)
• scientific article; zbMATH DE number 1946752 (Why is no real title available?)
• Model-based security engineering: managed co-evolution of security knowledge and software models
• scientific article; zbMATH DE number 1693520 (Why is no real title available?)
• scientific article; zbMATH DE number 1946751 (Why is no real title available?)
• Architectural refinement and notions of intransitive noninterference
• Formally sound implementations of security protocols with JavaSPI

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)