1. A lattice model of secure information flow
2. Network information flow
3. Using Unification for Opacity Properties;Mazaré,2004
4. Verification of Initial-State Opacity in Security Applications of DES;Saboori,2008
5. Modelling Opacity Using Petri Nets;Jeremy;Electronic Notes in Theoretical Computer Science (ENTCS),2005