机译:Sapper:硬件级安全策略执行的语言
Hardware Description Language; Non-interference;
机译:Sapper:硬件级安全策略执行的语言
机译:纠正性执行:监视器执行安全策略的新范式
机译:语义安全:安全驱动的协作的语义策略的规范和执行
机译:寓言:一种用于执行用户定义的安全策略的语言
机译:用户定义的安全策略的基于语言的实施:应用于多层Web程序。
机译:使用高级定义语言自动翻译和网络安全策略
机译:sapper:硬件级安全策略执行的语言