LCF-style for Secure Verification Platform based on Multiway Decision Graphs.
Sa'ed AbedOtmane Aït MohamedPublished in: CIIA (2009)
Keyphrases
- cryptographic protocols
- integrity verification
- decision making
- model checking
- decision makers
- graph theoretic
- high security
- real time
- graph theory
- decision problems
- key distribution
- graph matching
- graph representation
- tree structures
- formal verification
- decision process
- series parallel
- directed graph
- binary trees
- security issues
- graph databases
- formal methods
- standard model
- decision rules