搜索到 篇“ BAN类逻辑 “的相关文章

相关作者

李益发
作品数：76被引量：192H指数：7
供职机构：中国人民解放军信息工程大学
研究主题：CPK 安全协议 BAN类逻辑 密码协议 逻辑分析
邓少锋
作品数：15被引量：13H指数：2
供职机构：解放军信息工程大学信息工程学院
研究主题：安全协议 逻辑分析 组件 CPK 可证安全
赵亚群
作品数：53被引量：71H指数：6
供职机构：中国人民解放军信息工程大学
研究主题：密码学 自相关函数 BENT函数 广义BENT函数 布尔函数
邓帆
作品数：17被引量：14H指数：2
供职机构：解放军信息工程大学信息工程学院
研究主题：安全协议 逻辑分析 组件 可证安全 密钥交换
卿斯汉
作品数：261被引量：3,753H指数：32
供职机构：中国科学院软件研究所
研究主题：网络安全 信息安全 防火墙 操作系统 安全操作系统