Ensuring Information Flow Security
暂无分享，去创建一个
[1] Riccardo Focardi,et al. Proofs Methods for Bisimulation Based Information Flow Security , 2002, VMCAI.
[2] Riccardo Focardi,et al. Transforming Processes to Check and Ensure Information Flow Security , 2002, AMAST.