聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 基于模型检测的可信软件栈测试
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通... 显示全部
关键词: 可信计算平台 可信软件栈 模型检测 计算树逻辑 一致性测试
会议论文 基于中国邮递员问题的可信平台模块测试序列生成优化研究
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中... 显示全部
关键词: 可信平台模块 中国邮递员问题 状态机理论 测试优化
会议论文 可信网络连接中一种基于可信度的细粒度授权模型
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有... 显示全部
关键词: 可信计算 可信网络连接 可信度 访问授权模型
会议论文 基于身份的无密钥托管的变色龙HASH函数和签名
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:提出了一个基于身份的无密钥托管的变色龙HASH函数.它在保持基于身份的变色龙HASH函数的原有性质的同时,解... 显示全部
关键词: 数字签名 基于身份的体制 密钥托管 变色龙 函数 变色龙签名
会议论文 多变量代数理论及其在密码学中的应用
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相... 显示全部
关键词: 密码学 多变量公钥密码 问题 流密码 哈希函数
会议论文 可信计算中的可信度量机制
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的... 显示全部
关键词: 可信度量 完整性度量 可信计算
会议论文 可保护隐私的外包数据库查询验证技术
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:为了提高查询验证技术的安全性和计算速度,分析了数字签名链查询验证技术的结构特征,指出其具有数据库构建... 显示全部
关键词: 外包数据库 查询验证 访问控制策略 数据库安全 隐私保护
会议论文 基于演化计算的组合模型序列密码分析
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:给出了一种利用演化计算对组合模型序列密码体制进行分析的方法.实验表明,用该演化计算方法对GEEFE发生器和... 显示全部
关键词: 序列密码 密码分析 演化计算
会议论文 基于L-MOMSDH假设的短群签名DAA方案
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:提出将标准模型下基于L-MOMSDH假设的短群签名方案作用于DAA协议,该协议基于FIAT-SHAMIR启发式设计思想,完... 显示全部
关键词: 可信计算平台 远程证明 直接匿名证明 标准模型 短群签名
找到9条结果
`