A Formal Approach to Distributed System Security Test Generation.
Vladimir A. KhlevnoyAndrey A. ShchurovPublished in: CoRR (2014)
Keyphrases
- distributed systems
- test generation
- security policies
- test cases
- mobile agent system
- fault tolerant
- test sequences
- high assurance
- symbolic execution
- mobile agents
- static analysis
- design automation
- distributed computing
- security issues
- information security
- access control
- distributed environment
- fault tolerance
- load balancing
- distributed database systems
- software architecture
- quality assurance
- network security
- security requirements
- software testing
- data replication
- intrusion detection
- concurrent systems
- directory service
- source code
- artificial intelligence
- pattern matching
- machine vision
- code coverage