共 50 条
- [11] Timed abstract non-interference FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 289 - 303
- [12] Computational probabilistic non-interference COMPUTER SECURITY - ESORICS 2002, PROCEEDINGS, 2002, 2502 : 1 - 23
- [14] Process algebra and non-interference PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 214 - 227
- [15] Non-interference, who needs it? 14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 237 - 238
- [18] Persistent Stochastic Non-Interference ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (276): : 53 - 68