University of Idaho.;
机译:使用正式安全验证流程验证缓存架构漏洞
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:BPA代数通过测试进行FASER(通过重写进行正式和自动安全实施)
机译:信息流安全策略的正式规范及其在安全关键系统中的实施
机译:Web应用程序安全策略的分析和实施。
机译:在基于DLT / SDN的IoT系统中定义和实施安全配置文件的安全体系结构
机译:动态安全策略的分析和运行时验证。
机译:使用正式安全策略管理移动应用程序中的风险。