Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
Secure software architectures design by aspect orientation
Conference
Yu, H, Liu, D, He, X
et al
. (2005). Secure software architectures design by aspect orientation .
47-55.
Share this citation
Twitter
Email
Yu, H, Liu, D, He, X
et al
. (2005). Secure software architectures design by aspect orientation .
47-55.
Copy Citation
Share
Overview
Additional Document Info
View All
Overview
cited authors
Yu, H; Liu, D; He, X; Yang, L; Gao, S
authors
He, Xudong
abstract
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fashion and fell short in precise notations. This paper proposes a formal aspect-oriented approach to designing secure software architectures. The underlying formalism is the Software Architecture Model (SAM) that combines Petri nets and temporal logic. SAM supports a precise way to model the problem domain, its software architecture, and security aspects of the software architecture. An integrated architecture is obtained by weaving aspect models with the base architecture model. Mechanisms in SAM are amenable to analyzing correctness of the architecture design. © 2005 IEEE.
publication date
January 1, 2005
Additional Document Info
start page
47
end page
55