Univ Sussex, Dept Informat, Brighton, E Sussex, England;
distributed systems; pi-calculus; security types; non-interference; testing equivalences; RESOURCE ACCESS;
机译:无干扰安全性的抽象:概率与可能性
机译:通过抽象解释对非干扰进行参数化非干扰
机译:用探针隔离无干扰的平凡而有效的构成蒙版小工具
机译:野餐 - PI-COMPULUS无干扰检查器
机译:用PI-Calmulus说明工作流程开发和验证的AI
机译:论不干涉自然劳动
机译:安全演算与无干扰