Login / Signup

GwPFV: A novel packet forwarding verification mechanism based on gateways in SDN-based storage environment.

Yuming LiuWang YongFeng HaoWang Zeyu
Published in: J. Inf. Secur. Appl. (2022)
Keyphrases
  • model checking
  • real time
  • digital libraries
  • wireless sensor networks
  • formal methods
  • packet forwarding