Security check: a formal yet practical framework for secure software architecture.
Arnab RayPublished in: NSPW (2003)
Keyphrases
- software architecture
- security requirements
- functional requirements
- real world
- embedded software
- reference model
- software systems
- distributed systems
- software engineering
- description language
- object oriented software
- reference architecture
- security management
- architectural design
- security analysis
- open source
- security mechanisms
- security issues
- security policies
- database
- formal model
- machine learning
- artificial intelligence
- data model
- android platform
- knowledge management