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

相关作者

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