Name
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. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1109/ICECCS.2005.75 | ICECCS |
Keywords | Field | DocType |
secure software architectures design,base architecture model,sam,security,security aspect,high assurance software system,petri nets,security design,secure software architecture design,security design technique,software architecture,formal aspect-oriented design,secure software architecture,architecture design correctness,problem domain modeling,temporal logic,aspect orientation,high assurance software systems,architecture design,formal method,formal specification,security of data,integrated architecture,architecture level,petri net,aspect oriented,software architecture design,software systems | Database-centric architecture,Applications architecture,Software engineering,Systems engineering,Multilayered architecture,Computer science,Software security assurance,Software architecture description,Resource-oriented architecture,Reference architecture,Software architecture | Conference |
ISBN | Citations | PageRank |
0-7695-2284-X | 13 | 0.62 |
References | Authors | |
19 | 5 | |