Article

A UML-Based Framework for Design and Analysis of Dependable Software

Authors:

Jun Kong,

Dianxiang XuAuthors Info & Claims

COMPSAC '08: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference

Pages 28 - 31

https://doi.org/10.1109/COMPSAC.2008.114

Published: 28 July 2008 Publication History

Publisher Site

Abstract

A formal method for software development often introduces a gap between rigidity of the method and informal nature of system requirements. This paper presents a UML-based framework for design and analysis of dependable software while narrowing such a gap. We model the intended functions of a software application with UML statecharts and security threats, i.e., potential attacks, with sequence diagrams. The statechart diagrams are converted into a graph transformation system, which is a well-studied formal method. This allows security threats to be verified against intended functions.

Cited By

View all

Lincke S(2012)Designing software security with UML extensionsJournal of Computing Sciences in Colleges10.5555/2379703.237973228:1(149-152)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.5555/2379703.2379732
El Ariss OXu DCrnkovic IStafford JPetriu DHappe JInverardi P(2011)Modeling security attacks with statechartsProceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS10.1145/2000259.2000281(123-132)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1145/2000259.2000281
Rehman SMustafa K(2009)Research on software design level security vulnerabilitiesACM SIGSOFT Software Engineering Notes10.1145/1640162.164017134:6(1-5)Online publication date: 3-Dec-2009
https://dl.acm.org/doi/10.1145/1640162.1640171

Recommendations

A framework for transforming structured analysis and design artifacts to UML
SIGDOC '06: Proceedings of the 24th annual ACM international conference on Design of communication

The Unified Modeling Language (UML) has become the de facto standard for modeling the architecture and behavior of an object-oriented software system. However, many legacy systems have been documented using non-object structured analysis and structured ...
UML-based fusion analysis
UML'99: Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

In recent times, there has been an increased requirement for software to be distributed. The well-known Fusion development method, however, can only be used to develop sequential reactive systems, and certain restricted kinds of concurrent systems. In ...
MAC and UML for secure software design
FMSE '04: Proceedings of the 2004 ACM workshop on Formal methods in security engineering

Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy definition, authorization, authentication, enforcement, and assurance. One ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

COMPSAC '08: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference

July 2008

1358 pages

ISBN:9780769532622

Publisher

IEEE Computer Society

United States

Publication History

Published: 28 July 2008

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lincke S(2012)Designing software security with UML extensionsJournal of Computing Sciences in Colleges10.5555/2379703.237973228:1(149-152)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.5555/2379703.2379732
El Ariss OXu DCrnkovic IStafford JPetriu DHappe JInverardi P(2011)Modeling security attacks with statechartsProceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS10.1145/2000259.2000281(123-132)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1145/2000259.2000281
Rehman SMustafa K(2009)Research on software design level security vulnerabilitiesACM SIGSOFT Software Engineering Notes10.1145/1640162.164017134:6(1-5)Online publication date: 3-Dec-2009
https://dl.acm.org/doi/10.1145/1640162.1640171

Abstract

Cited By

Recommendations

A framework for transforming structured analysis and design artifacts to UML

UML-based fusion analysis

MAC and UML for secure software design

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations