A foundation for tool-supported critical systems development with UML

Jürjens, Jan; Shabalin, Pasha

doi:10.1109/ecbs.2004.1316724

Search citation statements

Order By: Relevance

Paper Sections

Select...

Phase 4: Design -Producing Design Assurance Artifacts1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Tools like Poseidon (GentleWare) are used to draw UMLsec diagrams and allow for modeling of security properties such as fair exchange, non-repudiation, secure information flow and secure communication link (Jürjens, 2002). These tools can be used in conjunction with kits like Viki Framework (Jürjens, 2003) which is an error-checking tool for UMLsec diagrams and evaluates whether security properties are satisfied or flawed.…”

Section: Phase 4: Design -Producing Design Assurance Artifactsmentioning

confidence: 99%

Assimilating and Optimizing Software Assurance in the SDLC

Adeniji

Lee

2010

International Journal of Secure Software Engineering

View full text Add to dashboard Cite

Software Assurance is the planned and systematic set of activities that ensures software processes and products conform to requirements while standards and procedures in a manner that builds trusted systems and secure software. While absolute security may not yet be possible, procedures and practices exist to promote assurance in the software lifecycle. In this paper, the authors present a framework and step-wise approach towards achieving and optimizing assurance by infusing security knowledge, techniques, and methodologies into each phase of the Software Development Lifecycle (SDLC).

show abstract

Section: Phase 4: Design -Producing Design Assurance Artifactsmentioning

confidence: 99%