A Formal Connection between Security Automata and JML Annotations.
Marieke HuismanAlejandro TamaletPublished in: FASE (2009)
Keyphrases
- security issues
- intrusion detection
- information security
- statistical databases
- security policies
- security problems
- cellular automata
- security level
- access control
- information assurance
- security systems
- metadata
- finite state
- network security
- data security
- security measures
- security analysis
- computer security
- functional requirements
- security requirements
- security vulnerabilities
- annotation tool
- turing machine
- formal methods
- security properties
- security protocols
- data mining
- regular expressions
- search engine