State University of New York at Stony Brook.;
机译:物理模型检查以检测电力系统中的交换相关攻击
机译:基于模型检查线性时间逻辑的UDPStorm攻击检测
机译:在模型检查嵌入式电视软件中攻击状态空间爆炸问题
机译:使用概率模型检查对Kaminsky DNS缓存中毒攻击进行形式化分析
机译:使用概率模型检查对DNS攻击进行形式化分析及其对策。
机译:物理模型检查以检测电力系统中与开关相关的攻击
机译:使用概率模型检查对Kaminsky DNS缓存中毒攻击进行形式化分析