A formal approach to designing secure software architectures

Software architecture plays a central role in developing software systems that provide basic functionality and satisfy critical properties such as reliability and security. However, little has been done to formally model software architectures and to systematically enforce required properties. We ai...

Full description

Saved in:
Bibliographic Details
Main Authors: Huiqun Yu, Xudong He, Yi Deng, Lian Mo
Format: Conference Proceeding
Language:English
Subjects:
Computer architecture
Computer science
Computer security
Connectors
Helium
Information security
Logic
Software architecture
Software design
Software systems
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Software architecture plays a central role in developing software systems that provide basic functionality and satisfy critical properties such as reliability and security. However, little has been done to formally model software architectures and to systematically enforce required properties. We aim to propose a formal approach to designing secure software architectures. We use the software architecture model (SAM), a general software architecture model combining Petri nets and temporal logic, as the underlying formalism. Architecture design consists of the functionality part and the security part. Guidelines are proposed to design functionality of software architectures at both element level and composition level. Software security is enforced by stepwise refinement.
ISSN:1530-2059
2640-7507
DOI:10.1109/HASE.2004.1281766