聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 基于模型检测的可信软件栈测试
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通... 显示全部
关键词: 可信计算平台 可信软件栈 模型检测 计算树逻辑 一致性测试
会议论文 基于L-MOMSDH假设的短群签名DAA方案
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:提出将标准模型下基于L-MOMSDH假设的短群签名方案作用于DAA协议,该协议基于FIAT-SHAMIR启发式设计思想,完... 显示全部
关键词: 可信计算平台 远程证明 直接匿名证明 标准模型 短群签名
找到2条结果
`