【摘 要】
：
现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.
【机 构】
：
武汉大学,计算机学院,湖北,武汉,430072 武汉大学,计算机学院,湖北,武汉,430072;武
【出 处】
：
2010年第四届中国可信计算与信息安全学术会议
论文部分内容阅读
现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.
其他文献
利用TGA 上研究了三种不同种类钙基吸收剂(分析纯碳酸钙、石灰石、白云石)的碳酸化过程，并就石灰石样品探讨了颗粒粒径分布(80-180 目、180-230目、230-300目、300-400目)、煅烧温度(750℃、850℃、950℃、1050℃)、煅烧时间(20min、60min、120min)和煅烧气氛中CO2含最(0％、15％、25％、35％)对钙基吸收剂碳酸化速率和程度的影响.结果表明：钙
吸附剂颗粒的分布及停留状况直接影响污染物排放控制效果.利用CFD软件FLUENT对吸附剂评价装置内流场进行模拟，得到了流场中吸附剂颗粒的停留时间和分布状况，通过分析，结果表明：烟气进入炉内后，压力突然降低，随后回升，最后又降低;速度和温度先降低，随后趋于稳定。该结论为改进吸附剂评价装置提供了依据。
针对Marmol等人提出的基于蚁群算法的信任模型限制因素过多的缺点,从节点类型、节点功能、节点信任值增加等方面对其进行了改进,并做了大量仿真实验来验证改进后的信任模型的正确性和有效性.此外,改进模型在无线传感器网络应用场景中的仿真实验结果表明新模型能够有效地识别出恶意节点并降低网络丢包率.
结合可信计算与安全协议技术,设计了基于代理的属性远程证明协议,并应用串空间理论进行分析与证明.在公钥基础设施框架下,由可信第三方实施验证代理的功能,实现二进制指纹到相应安全属性的转换;并通过密码技术建立安全通道实现了基于授权的访问控制,同时应用可信计算技术保证通信终端的完整性,在满足原有二进制远程证明安全性的基础上,提高了适用性和可行性.
分析了无线传感器网络中的基于无路径建立的可靠性区分多路径容错路由算法,建立了一个数学模型,随后以此数学模型证明了该类型的容错服务的实现等价于求解一个目标函数非凸的非线性规划问题,该规划问题的求解需要解具有n-1次交叉项的n次方程,根据Abel不可解定理,该方程在n＞5的情况下无通解.分析表明,目标函数在求解区间单调递减;基于此给出了一个启发式求数值解的算法.仿真结果表明,在相同的计算资源与环境下,
通过对基于标记大小写变换的网页隐写术算法的深入研究发现,该类算法在嵌入信息后会引起标记不匹配的异常.基于此,提出了一种针对标记大小写变换的网页隐秘信息检测算法.该算法通过统计网页中不匹配的标记对和空标记个数,并根据它与网页大小的比值是否大于阈值α来判断是否有隐藏信息.算法实现简单,能够估计隐藏的隐信息量,能够结合网络爬虫对Internet上的网页进行在线主动检测.实验结果表明在嵌入率大于0.3％时
以最优停止理论为基础,将企业电子商务平台安全性投资决策问题看成一个随机过程,同时考虑了查找安全隐患投资支出和由于安全隐患减少给企业带来的利益2方面因素,构建了一个定量化的随机过程决策模型.从理论上证明了该问题最优解的存在性,并给出了该决策问题的最优解.针对企业实际电子商务平台安全投资决策中的应用问题,通过极限逼近法或截尾法,给出最优安全隐患的查找次数以及计算步骤,为该项决策工作提供了理论和实践指导
为了解决用户通过无线Mesh网络进行发帖行为的监管问题,设计了一种基于Hash链模式的用户连续发帖行为监控机制,当用户接入Mesh网络发帖时,首先完成用户与Mesh网络网关之间的双向认证,用户获得网关对其授权后,可以通过Mesh网络在Internet中发帖,Mesb网络网关向Web Server转发关于用户真实有效的信息,当发生不可抵赖纠纷时,Web Server通过用户的注册服务器,可以实现对用
针对目前基于数据加密技术的安全数据库服务不能有效平衡数据处理性能与数据隐私保护的不足,提出一种新的基于自动属性检测分解的分布式安全数据库服务方法.该方法引入概率匿名的隐私保护技术,通过自动检测属性组合是否泄嚣隐私信息,以非加密方式实现垂直和水平数据的有效分解,具有不需要可信数据库管理员来保证数据隐私和较高数据查询性能的特点.理论分析和实验结果表明,该方法可在数据查询性能和隐私保护之间实现较好的平衡
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.