Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach.
Samir OuchaniKhaled KhebbebMeriem HafsiPublished in: AICCSA (2020)
Keyphrases
- information security
- intrusion detection
- theorem prover
- security requirements
- network security
- security systems
- information assurance
- security policies
- security level
- statistical databases
- security issues
- computer security
- key management
- encryption scheme
- functional requirements
- access control
- security protocols
- neural network
- equational theories
- security analysis
- formal methods
- rfid tags
- formal specification
- fault tolerance
- data mining