Title :
A UML-Based Framework for Design and Analysis of Dependable Software
Author :
Kong, Jun ; Xu, Dianxiang
Author_Institution :
Dept. of Comput. Sci., North Dakota State Univ., ND
fDate :
July 28 2008-Aug. 1 2008
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.
Keywords :
Unified Modeling Language; security of data; software engineering; UML-based framework; formal methods; graph transformation system; security threats; sequence diagrams; software application; software development; statechart diagrams; Application software; Computer applications; Computer science; Cryptography; Production systems; Programming; Protection; Security; Unified modeling language; Virtual machining;
Conference_Titel :
Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International
Conference_Location :
Turku
Print_ISBN :
978-0-7695-3262-2
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2008.114
