Login / Signup

WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control.

Naomi KuzeAmi SakakibaraToshimitsu Ushio
Published in: ICCPS (2020)
Keyphrases
  • injection attacks
  • temporal logic
  • end users
  • collaborative filtering
  • model checking