机译:与关注网络的行李图像检索安全检查
机译:通过模型检查对网络协议进行安全性分析:以移动IPv6为例
机译:模型检查无线传感器网络安全协议:TinySec + LEAP + TinyPK
机译:通过医疗保健应用程序中的不透明度检查和执行安全性
机译:基于排队网络和离散事件模拟的机场安全检查检查站分析:一种理论和经验方法
机译:网络的抵抗力和安全性指数:网络安全性的结构信息视角
机译:通过污点检查方法将恶意软件用于基于软件的基于网络的智能家居安全管理
机译:通过灵活的建模框架模型检查网络安全要求