Formal Security Policy Verification of Distributed Component-Structured Software.
Peter HerrmannPublished in: FORTE (2003)
Keyphrases
- security policies
- distributed systems
- formal methods
- access control
- software architecture
- software components
- security requirements
- security management
- network security
- distributed environment
- security concerns
- software development
- model checking
- network management
- access control systems
- software systems
- software design
- real world
- computing environments
- mobile agents
- home network
- loosely coupled
- access control policies
- model based testing
- computer networks
- computer systems
- knowledge discovery
- structured data
- fine grained
- ubiquitous computing environments
- multi tier
- data processing
- database systems
- data mining