Learn More
The opacity property characterises the absence of confidential information flow towards inquisitive attackers. Verifying opacity is well established for finite automata but is known to be not(More)