Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies

Shoma Matsui, Stéphane Lafortune

There is an increasing need to study the vulnerability of communication protocols in distributed systems to malicious attacks that attempt to violate properties such as safety or n…