...
机译:端到端的安全实施验证的类型保留编译
authorization; bytecode languages; compilers; dependent types; functional programming; information flow; mobile code security; security type systems;
机译:端到端的安全实施验证的类型保留编译
机译:C和汇编程序的信息流安全性的端到端验证
机译:移动代理系统的动态安全框架:规范,验证和实施
机译:保全端到端验证的类型保留编译
机译:复杂系统的信息流安全性的正式端到端验证。
机译:在基于DLT / SDN的IoT系统中定义和实施安全配置文件的安全体系结构
机译:用于端到端安全执行验证的类型保留编译