Team Edit Automata for Testing Security Property.
Zhenrong YangAiman HannaMourad DebbabiPublished in: IAS (2007)
Keyphrases
- information security
- fault injection
- blind signature scheme
- access control
- cellular automata
- java card
- network security
- security policies
- security properties
- computer security
- security management
- security requirements
- security threats
- security problems
- security vulnerabilities
- information assurance
- test set
- functional requirements
- team members
- finite state
- test cases
- robot soccer
- security level
- virtual teams
- security model
- encryption scheme
- static analysis
- regular expressions
- penetration testing