共 50 条
- [43] Non-Interference for Deterministic Interactive Programs FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 50 - +
- [45] China Debates the Non-Interference Principle CHINESE JOURNAL OF INTERNATIONAL POLITICS, 2016, 9 (03): : 349 - 374
- [46] Intransitive non-interference for cryptographic purposes 2003 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2003, : 140 - 152
- [48] DeFi Composability as MEV Non-interference FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2024, PT II, 2025, 14745 : 369 - 387
- [50] GREP: Games for the Runtime Enforcement of Properties TESTING SOFTWARE AND SYSTEMS (ICTSS 2017), 2017, 10533 : 259 - 275