A general language-based framework for specifying and verifying notions of opacity
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Özay
Topics & Concepts
OpacityComputer scienceAutomatonProperty (philosophy)Theoretical computer scienceState (computer science)AlgorithmProgramming languageOpticsPhilosophyEpistemologyPhysicsSecurity and Verification in ComputingDistributed systems and fault toleranceAccess Control and Trust