Specification, verification, and quantification of security in model-based systems.
Samir OuchaniMourad DebbabiPublished in: Computing (2015)
Keyphrases
- formal methods
- asynchronous circuits
- management system
- high assurance
- protocol specification
- distributed systems
- formal verification
- expert systems
- information assurance
- intrusion detection
- access control
- biometric systems
- information security
- complex systems
- computer security
- security issues
- security systems
- trust management
- security measures
- high security
- petri net