A systematic approach to integrate common timed security rules within a TEFSM-based system specification.
Amel MammarWissam MallouliAna R. CavalliPublished in: Inf. Softw. Technol. (2012)
Keyphrases
- petri net
- security issues
- security policies
- security requirements
- intrusion detection
- information security
- security systems
- active rules
- rule based systems
- business rules
- information assurance
- database
- association rules
- computer security
- neural network
- colored petri nets
- security problems
- security protocols
- rule sets
- access control
- formal specification
- production rules
- network security
- background knowledge
- security mechanisms
- attribute values
- classification rules
- high level
- data mining
- security level
- communication protocols
- security management
- timed automata
- qualitative and quantitative