机译:工业自动化和控制系统上的Web应用程序自动安全测试
机译:几何创作和有限元网格生成的自动化过程:应用于显式晶粒结构模型和加工失真
机译:Web应用程序的建模和自动黑盒回归测试
机译:关于Web应用程序的可理解积极安全模型的自动创建
机译:通过自动提取Web应用程序意图来提高Web安全性。
机译:医疗保健服务(共同价值)中的共同规划价值(共值):描述用于在副本医疗服务系统系统中使用价值创建型号的国际多期协议并评估相关系统级值的初始可行性效用和可接受性创建评估方法
机译:从动态Web应用程序中恢复的基于角色的访问控制安全模型的自动验证
机译:自动定理证明在计算机系统安全中的应用:图解保护模型