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

@article{Kong2008AUF,
  title={A UML-Based Framework for Design and Analysis of Dependable Software},
  author={Jun Kong and Dianxiang Xu},
  journal={2008 32nd Annual IEEE International Computer Software and Applications Conference},
  year={2008},
  pages={28-31}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-6 OF 6 CITATIONS

Research on software design level security vulnerabilities

  • ACM SIGSOFT Software Engineering Notes
  • 2009
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Architecture-centric testing for security

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Designing System Security with UML Misuse Deployment Diagrams

  • 2012 IEEE Sixth International Conference on Software Security and Reliability Companion
  • 2012
VIEW 1 EXCERPT
CITES BACKGROUND

Modeling security attacks with statecharts

  • QoSA/ISARCS
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND

Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts

  • 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
  • 2011

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

and G

J. Rumbaugh, I. Jacobson
  • Booch, The Unified Modeling Language Reference Manual
  • 2005
VIEW 1 EXCERPT