...
机译:形式描述和自动分析已知对和选择文本的攻击
机译:已知对和选择文本攻击的形式化表征和自动分析
机译:直接分析胶结材料中氯离子和硫酸根离子侵蚀的自动真空PIXE / EBS系统的表征和应用
机译:一种用于利用Web应用程序的多阶段攻击的正式和自动化方法
机译:概率系统侧信道攻击的自动形式分析
机译:微电网孤岛检测过程中级联攻击分析的正式框架
机译:水稻锚蛋白重复序列蛋白OsPIANK1在稻瘟病菌基础防御中的功能分析和表达特征
机译:已知对和选择文本攻击的形式化表征和自动分析
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。