On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison

Tomáš Masopust, Petr Osička

Opacity is a general framework modeling security properties of systems interacting with a passive attacker. Initial-and-final-state opacity (IFO) generalizes the classical notions…