Lessons learned using alloy to formally specify MLS-PCA trusted security architecture.
Brant HashiiPublished in: FMSE (2004)
Keyphrases
- lessons learned
- security architecture
- principal component analysis
- access control
- security policies
- security model
- case study
- future directions
- dimensionality reduction
- intrusion detection system
- simulation platform
- security mechanisms
- data integrity
- distributed systems
- distributed environment
- data security
- feature space
- databases