A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN.

Hideharu Kojima Naoto Yanai

Published in: ISSRE Workshops (2019)

Keyphrases

routing protocol
cooperative
state space
data streams
wireless sensor networks
data sets
reinforcement learning
response time
high speed