搜索到 篇“ 逻辑分析 “的相关文章

相关作者

邓帆
作品数：17被引量：14H指数：2
供职机构：解放军信息工程大学信息工程学院
研究主题：安全协议 逻辑分析 组件 可证安全 密钥交换
贺寿南
作品数：38被引量：52H指数：4
供职机构：衡阳师范学院
研究主题：博弈 博弈逻辑 逻辑分析 理性人 司法裁判
宁莉娜
作品数：43被引量：41H指数：4
供职机构：上海大学社会科学学院哲学系
研究主题：逻辑 逻辑方法 穆勒 逻辑思想 逻辑分析
李益发
作品数：76被引量：195H指数：7
供职机构：中国人民解放军信息工程大学
研究主题：CPK 安全协议 BAN类逻辑 密码协议 逻辑分析
邓少锋
作品数：15被引量：13H指数：2
供职机构：解放军信息工程大学信息工程学院
研究主题：安全协议 逻辑分析 组件 CPK 可证安全