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

相关作者

彭代渊
作品数：82被引量：202H指数：8
供职机构：西南交通大学信息科学与技术学院
研究主题：跳频序列 椭圆曲线密码 跳时序列 数字水印 串空间
高悦翔
作品数：14被引量：38H指数：3
供职机构：西南交通大学信息科学与技术学院
研究主题：形式化分析 KAILAR逻辑 串空间 公平 安全协议
汪学明
作品数：93被引量：222H指数：7
供职机构：贵州大学计算机科学与技术学院
研究主题：形式化分析 签密 超椭圆曲线密码体制 量子 加密方案
李祥
作品数：145被引量：424H指数：9
供职机构：贵州大学
研究主题：公平 椭圆曲线密码体制 安全性 密码协议 SPIN
石曙东
作品数：38被引量：36H指数：3
供职机构：湖北师范学院计算机科学与技术学院
研究主题：安全协议 串空间模型 形式化分析 BAN逻辑 数字签名