Protocol Verification by Simultaneous Reachability Graph.
Cailu WangYuegang TaoYing ZhouPublished in: IEEE Commun. Lett. (2017)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checking
- model checker
- graph structure
- lightweight
- formal proof
- connected components
- graph theory
- formal methods
- graph theoretic
- graph representation
- graph partitioning
- dependency graph
- tcp ip
- graph model
- directed acyclic graph
- weighted graph
- bipartite graph
- structured data
- random walk
- web services
- graph databases
- multi party
- edge weights
- link analysis
- security analysis
- authentication protocol
- graph matching
- high security
- state space