共 50 条
- [31] Non-interference models and subliminal channels Discrete Mathematics and Applications, 2002, 12 (01): : 9 - 14
- [32] The PER model of abstract non-interference STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 171 - 185
- [35] Non-Interference for Deterministic Interactive Programs FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 50 - +
- [37] China Debates the Non-Interference Principle CHINESE JOURNAL OF INTERNATIONAL POLITICS, 2016, 9 (03): : 349 - 374
- [38] Intransitive non-interference for cryptographic purposes 2003 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2003, : 140 - 152
- [40] DeFi Composability as MEV Non-interference FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2024, PT II, 2025, 14745 : 369 - 387