A Reasoning System for Composition Verification and Security Validation.
George HatzivasilisIoannis PapaefstathiouCharalampos ManifavasNikos PapadakisPublished in: NTMS (2014)
Keyphrases
- high security
- java card
- integrity verification
- information security
- cryptographic protocols
- network security
- intrusion detection
- statistical databases
- security issues
- model checking
- security policies
- static analysis
- access control
- functional requirements
- reasoning tasks
- reasoning process
- automated reasoning
- high assurance
- signature verification
- reasoning systems
- computer security
- artificial intelligence
- security requirements
- spatial reasoning
- key management
- formal verification
- knowledge representation
- knowledge base