机译:基于语言的信息流安全
computer networks; programming languages; reviews; security of data; telecommunication security; attacker; computing system; confidentiality; covert channels; end-to-end behavior; information-flow policies; language-based information-flow security; programming-langu;
机译:基于语言的信息流安全
机译:基于语言的信息流安全
机译:验证编译器保留并发的值相关的信息流安全性
机译:信息流控制通过用于期货的活动对象语言的安全包装
机译:复杂系统的信息流安全性的正式端到端验证。
机译:通过协议组成的信息流控制的游戏理论方法
机译:基于语言的信息流安全