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

相关作者

肖聪
作品数:3被引量:18H指数:3
供职机构:总参谋部
研究主题:安全协议 AVISPA 形式化分析 形式化
张鑫
作品数:3被引量:0H指数:0
供职机构:国防科学技术大学计算机学院
研究主题:软硬件结合 CAS AVISPA 安全协议 形式化分析方法
祝世雄
作品数:9被引量:14H指数:3
供职机构:中国电子科技集团第三十研究所
研究主题:线性复杂度 移动IP IP地址 AAA服务器 AAA
付绍静
作品数:76被引量:310H指数:5
供职机构:国防科学技术大学
研究主题:隐私保护 存储介质 布尔函数 信息安全 非线性度
付安民
作品数:120被引量:168H指数:8
供职机构:南京理工大学
研究主题:隐私保护 服务器 去重 加密 物联网