Keyphrases
- formal specification
- security architecture
- model checking
- reverse engineering
- access control
- security model
- security policies
- network traffic
- intrusion detection system
- digital campus
- protocol specification
- computer networks
- databases
- data exchange
- software architecture
- fine grained
- security requirements
- intrusion detection
- wireless sensor networks
- artificial intelligence
- data mining