机译:进度敏感型流量敏感型嵌入式信息流控制监视器(扩展版)
Université Laval, Québec City, Québec, Canada;
Harvard University, Cambridge, MA, United States;
Université Laval, Québec City, Québec, Canada;
Cornell University, Ithaca, NY, United States;
Université Laval, Québec City, Québec, Canada;
Flow-sensitive; Information-flow control; Inline monitor; Non-interference; Progress-sensitive;
机译:If-transpiler:内联JavaScript的混合流敏感安全监视器
机译:D-
机译:广义 - <内联公式ID =“IEQ1”> <替代方案>
机译:进度敏感型流量敏感的嵌入式信息流控制监视器
机译:现代应用平台中的信息流控制:建模,正式验证和控制的解密
机译:使用AMPLICOR HCV MONITOR 1.0版COBAS HCV MONITOR 2.0版和QUANTIPLEX HCV RNA 2.0版方法评估慢性丙型肝炎患者的病毒载量
机译:面向对象的中间语言的呼叫者方内联参考监视器:扩展版本