Verification of Security Policy of Service Oriented Systems.
Antonio MañaGimena PujolPublished in: DMS (2010)
Keyphrases
- security policies
- access control
- security management
- network security
- distributed systems
- access control systems
- model checking
- network management
- security concerns
- security architecture
- security requirements
- access control policies
- ubiquitous computing environments
- event logs
- home network
- database systems
- unauthorized access
- security measures
- data processing
- data model