Login / Signup

A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction.

Hideharu KojimaNaoto Yanai
Published in: IPDPS Workshops (2020)
Keyphrases
  • model checking
  • verification method
  • space reduction
  • wireless sensor networks
  • routing protocol
  • face recognition
  • state space
  • formal methods