Modeling Trusted Computing

2006Acta Scientiarum Naturalium Universitatis SunyatseniComputer Science被引 1

摘要

在这篇论文，一条正式途径为代表基于谓词逻辑被建议；信任计算推理当模特儿。谓词被定义代表目标的特征；在这些之中的关系根据计算说明信任在一个信任系统反对。信任关系的推理规则也被给。与建议的语义，一些信任计算模型被形式化；验证了，它证明谓词演算逻辑提供一个将军；为当模特儿的有效方法；推理信任计算系统。

Chen, Shuyi, Wen Wen, 等. Modeling Trusted Computing[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2006.

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。