计算平台状态可信证明是可信计算研究的热点问题.基于系统策略的计算平台状态可信证明模型(Policy Based Trustworthiness Attestation Model,PBTAM)可以解决目前计算平台可信证明方法中存在的平台隐私保护等重要问题.PBTAM认为计算平...计算平台状态可信证明是可信计算研究的热点问题.基于系统策略的计算平台状态可信证明模型(Policy Based Trustworthiness Attestation Model,PBTAM)可以解决目前计算平台可信证明方法中存在的平台隐私保护等重要问题.PBTAM认为计算平台的状态是否可信与其系统可信传递策略紧密相关,如果证明平台的系统可信传递策略符合质询方的期望,那么该证明平台对于质询方是可信的.PBTAM在可信计算平台技术规范基础上,通过对证明平台的系统可信传递策略进行度量和验证,实现计算平台的可信证明.本文在对实际生产系统应用安装状态采样、统计和分析的基础之上,对PBTAM的性能进行了总结,证明了该模型的实际可行性和有效性.展开更多
基于可信计算技术的恶意代码防范机制可以弥补传统杀毒方式对未知恶意代码防范能力的不足,但是软件自动在线升级和补丁安装会生成和调用未知的动态代码,对这些动态代码的实时可信判定问题阻碍了可信计算技术的应用普及.动态代码实时可...基于可信计算技术的恶意代码防范机制可以弥补传统杀毒方式对未知恶意代码防范能力的不足,但是软件自动在线升级和补丁安装会生成和调用未知的动态代码,对这些动态代码的实时可信判定问题阻碍了可信计算技术的应用普及.动态代码实时可信判定和可信传递方法(Trust Determination and Transitivity Method of Dynamic codes,TDTMD)从代码的调用环境和调用方式出发,对动态代码的来源是否可信进行判定,进而对动态代码是否可信进行判断.TDTMD可以在保证应用软件和系统的运行连续性前提下,提供对各种已知或未知恶意代码攻击的有效防范能力.TDTMD的原型系统及其实验结果表明,它对系统的运行性能影响较小,并且安全有效.展开更多
with the development of science and technology, smart home systems require better, faster to meet the needs of human. In order to achieve this goal, the human-machine-items all need to interact each other with underst...with the development of science and technology, smart home systems require better, faster to meet the needs of human. In order to achieve this goal, the human-machine-items all need to interact each other with understand, efficient and speedy. Cps could unify combination with the human-machine-items; realize the interaction between the physical nformation and the cyber world. However, information interaction and the control task needs to be completed in a valid time. Therefore, the transform delay control strategy becomes more and more important. This paper analysis Markov delay control strategy for smart home systems, which might help the system decrease the transmission delay.展开更多
Since the spreading of harmful rumors can deeply endanger a society, it is valuable to investigate strategies that can efficiently prevent hazardous rumor propagation. To conduct this investigation, the authors modify...Since the spreading of harmful rumors can deeply endanger a society, it is valuable to investigate strategies that can efficiently prevent hazardous rumor propagation. To conduct this investigation, the authors modify the SIR model to describe rumor propagation on networks, and apply two major immunization strategies, namely, the random immunization and the targeted immunization to the rumor model on a small-world network. The authors find that when the average degree of the network is small, both two strategies are effective and when the average degree is large, neither strategy is efficient in preventing rumor propagation. In the latter case, the authors propose a new strategy by decreasing the credibility of the rumor and applying either the random or the targeted immunization at the same time. Numerical simulations indicate that this strategy is effective in preventing rumor spreading on the small-world network with large average degree.展开更多
文摘计算平台状态可信证明是可信计算研究的热点问题.基于系统策略的计算平台状态可信证明模型(Policy Based Trustworthiness Attestation Model,PBTAM)可以解决目前计算平台可信证明方法中存在的平台隐私保护等重要问题.PBTAM认为计算平台的状态是否可信与其系统可信传递策略紧密相关,如果证明平台的系统可信传递策略符合质询方的期望,那么该证明平台对于质询方是可信的.PBTAM在可信计算平台技术规范基础上,通过对证明平台的系统可信传递策略进行度量和验证,实现计算平台的可信证明.本文在对实际生产系统应用安装状态采样、统计和分析的基础之上,对PBTAM的性能进行了总结,证明了该模型的实际可行性和有效性.
文摘基于可信计算技术的恶意代码防范机制可以弥补传统杀毒方式对未知恶意代码防范能力的不足,但是软件自动在线升级和补丁安装会生成和调用未知的动态代码,对这些动态代码的实时可信判定问题阻碍了可信计算技术的应用普及.动态代码实时可信判定和可信传递方法(Trust Determination and Transitivity Method of Dynamic codes,TDTMD)从代码的调用环境和调用方式出发,对动态代码的来源是否可信进行判定,进而对动态代码是否可信进行判断.TDTMD可以在保证应用软件和系统的运行连续性前提下,提供对各种已知或未知恶意代码攻击的有效防范能力.TDTMD的原型系统及其实验结果表明,它对系统的运行性能影响较小,并且安全有效.
文摘with the development of science and technology, smart home systems require better, faster to meet the needs of human. In order to achieve this goal, the human-machine-items all need to interact each other with understand, efficient and speedy. Cps could unify combination with the human-machine-items; realize the interaction between the physical nformation and the cyber world. However, information interaction and the control task needs to be completed in a valid time. Therefore, the transform delay control strategy becomes more and more important. This paper analysis Markov delay control strategy for smart home systems, which might help the system decrease the transmission delay.
基金supported by the Natural Science Foundation of China under Grant No.61070069Zhejiang Provincial Natural Science Foundation of China under Grant No.Y1100290
文摘Since the spreading of harmful rumors can deeply endanger a society, it is valuable to investigate strategies that can efficiently prevent hazardous rumor propagation. To conduct this investigation, the authors modify the SIR model to describe rumor propagation on networks, and apply two major immunization strategies, namely, the random immunization and the targeted immunization to the rumor model on a small-world network. The authors find that when the average degree of the network is small, both two strategies are effective and when the average degree is large, neither strategy is efficient in preventing rumor propagation. In the latter case, the authors propose a new strategy by decreasing the credibility of the rumor and applying either the random or the targeted immunization at the same time. Numerical simulations indicate that this strategy is effective in preventing rumor spreading on the small-world network with large average degree.
