Formal Specification of Software Architecture Security Tactics.
Andrew WyethCui ZhangPublished in: SEKE (2010)
Keyphrases
- software architecture
- formal specification
- security requirements
- functional requirements
- model checking
- specification languages
- description language
- specification language
- object oriented design
- software systems
- process algebra
- embedded software
- reference model
- software engineering
- reverse engineering
- protocol specification
- distributed systems
- software development
- concurrent systems
- software components
- architectural design
- formal methods
- temporal logic
- design patterns
- object oriented software
- software design
- access control
- change impact analysis
- artificial intelligence
- communication protocols
- production system