共 50 条
- [21] Information closures of exponential families [J]. 2004 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2004, : 30 - 30
- [24] Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 791 - 810