Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations.
David S. HardinKonrad L. SlindPublished in: SP Workshops (2021)
Keyphrases
- information security
- security issues
- security requirements
- information assurance
- intrusion detection
- statistical databases
- commercial off the shelf
- access control
- security management
- security threats
- security policies
- formal specification
- design solutions
- program synthesis
- security analysis
- filtering method
- formal methods
- database
- network security
- software components
- software architecture
- wireless sensor networks
- multiresolution
- database systems
- image processing