位置：成果数据库 > 期刊 > 期刊详情页
基于中国邮递员问题的可信平台模块测试序列生成优化研究
  • ISSN号：1671-8836
  • 期刊名称：《武汉大学学报：理学版》
  • 时间：0
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]武汉大学计算机学院,湖北武汉430072, [2]武汉大学空天信息安全与可信计算教育部重点实验室,湖北武汉430072
  • 相关基金：国家高技术研究发展计划（863）项目（2007AA01Z411）; 国家自然科学基金资助项目（60673071 60970116 90718005 90718006）
作者： 徐士伟[1], 张焕国[1,2], 肖瑾瑜[1], 严飞[1,2]
关键词： 可信平台模块, 中国邮递员问题, 状态机理论, 测试优化, trusted platform module, Chinese postman problem, state machine theory, test optimization
中文摘要：

现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.

英文摘要：

Nowadays,there are already not just few researches on testing TPM（trusted platform module）,but they are lack of the analysis of testing efficiency.On the basis of improving the finite state machine（FSM） model of TPM,this paper applies the Chinese postman problem to the conformance testing of the model.In order to generate the optimized test sequences,a shortest path,in which each transition should be traversed at least once,is found out in the model.Meanwhile,the test on the states of FSM is also simplified.

同期刊论文项目
面向威胁的软件可信性分析模型
期刊论文 21 会议论文 9
非对称群密钥协商理论与关键技术研究
期刊论文 23 会议论文 16
软件的可信计算环境的构造、建模和算法研究
期刊论文 30
密码部件的设计自动化研究
期刊论文 50 会议论文 4
同项目期刊论文
网络环境下一种基于概率密度的信任博弈模型
Static Extracting Method of Software Intended Behavior Based on API Functions Invoking
A Trustworthiness-based Distribution Model for Data Leakage Prevention
基于Bayesian信任网络的P2P访问控制
基于关联挖掘的软件错误定位方法
面向虚拟化平台的透明加密系统设计与实现
软件结构属性分析与恶意软件检测
Novel encryption model for multimedia data
基于负荷-容量模型的网络相继故障研究
可信平台模块自动化测试研究
基于标记变迁系统的可信计算平台信任链测试
一种面向Web服务的拜占庭错误容忍算法
Oracle数据库备份软件设计与实现
一种改进的可信计算平台密码机制
一种密钥协商协议的自动化设计方法
盲环境下的数字图像可信性评估模型研究
一种基于无监督学习的MB1隐写分析方法
一种基于网络行为特征的分布式LDoS攻击
基于图论的网络鲁棒性增强算法
一种基于信任理论的路由安全接入与选路模型
SMS4算法在嵌入式系统中的硬件实现方法
一种基于服务器组的SAR信号优化处理算法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
针对RED脆弱性的分布式LDoS攻击构造
GF（2^n）^m上的线性正形置换
针对动态群组及应用的扩展非对称群密钥协商协议(英文)
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
基于运动物体识别的三维动态验证码设计
植入城市计算综述
Static Extracting Method of Software Intended Behavior Based on API Functions Invoking
基于Bayesian信任网络的P2P访问控制
可信计算平台测评理论与关键技术研究
软件结构属性分析与恶意软件检测
基于系统调用的软件行为模型
基于对象的软件行为模型
一种基于签名和属性的可执行文件比较
基于数据场的网络安全风险融合模型
FINDING THE SAME SOURCE PROGRAMS BASED ON THE STRUCTURAL FINGERPRINT DISTANCE OF CALL GRAPH
可信平台模块自动化测试研究
基于标记变迁系统的可信计算平台信任链测试
物联网环境下的敏感信息保护方法
一种改进的可信计算平台密码机制
SMS4算法在嵌入式系统中的硬件实现方法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
GF（2^n）^m上的线性正形置换
基于模型检测的可信软件栈测试
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
Extended Asymmetric Group Key Agreement for Dynamic Groups and Its Applications
Efficient many-to-one authentication with certificateless aggregate signatures
信息安全学科体系结构研究
A Scalable Robust Authentication Protocol for Secure Vehicular Communications
Provably-secure electronic cash based on certificateless partially-blind signatures
Balanced Trustworthiness, Safety, and Privacy in Vehicle-to-Vehicle Communications
一种安全性更高的正形置换发生器
Hybrid Strategy of Particle Swarm Optimization and Simulated Annealing for Optimizing Orthomorphisms
Delegation of signing rights using certificateless proxy signatures
基于应用π演算的可信平台模块的安全性形式化分析
一类Bent函数的二阶非线性度下界
基于纠错编码的多变量公钥加密方案(英文)
针对动态群组及应用的扩展非对称群密钥协商协议(英文)
一类广义Bent函数的构造
轮换矩阵密码学性质
Generation Algorithm of a Sort of P-Permutations
一种改进的指针安全分析算法
Static Extracting Method of Software Intended Behavior Based on API Functions Invoking
多变量代数理论及其在密码学中的应用
信息安全学科体系结构研究
基于Bayesian信任网络的P2P访问控制
可信网络连接研究
可信计算平台信任链安全性分析
可信PDA计算平台系统结构与安全机制
多变元Hash函数的构造与分析
分组密码的硬件实现
SHA-2(512)热噪声随机数发生器
一种面向应用的FPGA互连资源故障检测方法
Analysis of affinely equivalent Boolean functions
On the degree of homogeneous bent functions
可信平台模块自动化测试研究
基于标记变迁系统的可信计算平台信任链测试
一种安全性更高的正形置换发生器
Hybrid Strategy of Particle Swarm Optimization and Simulated Annealing for Optimizing Orthomorphisms
容忍入侵的自适应安全通信系统模型与设计
关于正形置换多项式的注记
6轮数据加密标准的演化分析
基于径向小波变换的图像特征提取算法
XEN虚拟机分析
一种改进的可信计算平台密码机制
SMS4算法在嵌入式系统中的硬件实现方法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
GF（2^n）^m上的线性正形置换
基于模型检测的可信软件栈测试
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
基于1-MOMSDH假设的短群签名DAA方案
轮换矩阵密码学性质
可信网络连接中一种基于可信度的细粒度授权模型
Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification
Generation Algorithm of a Sort of P-Permutations
A Fast Pseudorandom Number Generator with BLAKE Hash Function
一种改进的指针安全分析算法
基于演化计算的组合模型序列密码分析
一种动态随机数发生器
基于保形迭代深度问题的公钥密码体制
A Communication Security Protocol of Mobile Agent System
抗中文主动干扰的柔性中文串匹配算法
基于模糊理论的Ad Hoc网络可信性研究
一种新的可信平台模块
改进的素数域椭圆曲线密码处理器
A Note on Characteristic Generators of a Free Cyclic Code and Its Dual
A New Chaotic Function and Its Cryptographic Usage
Self-Dual Permutation Codes over Finite Chain Rings
一种基于彩票内容保护的电子彩票方案
实验教学与信息安全本科生实践创新能力培养
期刊信息
  • 《武汉大学学报：理学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国2教育部
  • 主办单位:武汉大学
  • 主编：刘经南
  • 地址：湖北武昌珞珈山
  • 邮编：430072
  • 邮箱：whdz@whu.edu.cn
  • 电话：027-68756952
  • 国际标准刊号：ISSN：1671-8836
  • 国内统一刊号：ISSN：42-1674/N
  • 邮发代号:38-8
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:6988