搜索到 篇“ AVISPA “的相关文章

相关作者

肖聪
作品数：3被引量：18H指数：3
供职机构：总参谋部
研究主题：安全协议 AVISPA 形式化分析 形式化
张鑫
作品数：3被引量：0H指数：0
供职机构：国防科学技术大学计算机学院
研究主题：软硬件结合 CAS AVISPA 安全协议 形式化分析方法
祝世雄
作品数：9被引量：14H指数：3
供职机构：中国电子科技集团第三十研究所
研究主题：线性复杂度 移动IP IP地址 AAA服务器 AAA
王晔澄
作品数：1被引量：0H指数：0
供职机构：同济大学
研究主题：AVISPA 无线局域网
郭渊博
作品数：202被引量：834H指数：14
供职机构：中国人民解放军信息工程大学
研究主题：容忍入侵 入侵检测 网络安全 可证明安全 异常检测