搜索到 篇“ 串空间模型 “的相关文章

相关作者

肖跃雷
作品数：18被引量：31H指数：4
供职机构：西安邮电大学
研究主题：串空间模型 可信计算 可信计算环境 有线局域网 远程证明
周清雷
作品数：161被引量：413H指数：9
供职机构：郑州大学
研究主题：时间自动机 FPGA 图形处理器 自动机 安全协议
石曙东
作品数：38被引量：36H指数：3
供职机构：湖北师范学院计算机科学与技术学院
研究主题：安全协议 串空间模型 形式化分析 BAN逻辑 数字签名
赵东明
作品数：27被引量：32H指数：3
供职机构：郑州大学信息工程学院
研究主题：串空间 串空间模型 安全协议 时间自动机 标号迁移系统
魏仕民
作品数：99被引量：259H指数：7
供职机构：淮北师范大学计算机科学与技术学院
研究主题：线性复杂度 布尔函数 密码学 数字签名 流密码