信任本体的形式化语义研究

摘要：

针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次的形式化描述方法,对实体信任、行为信任和区域信任进行本体化,并对三种信任本体进行形式化语义演绎和推理.给出了信任相关属性的形式化理论分析,并通过典型的激发场景实例,有效地验证了信任本体化理论.

关键词：信任本体、形式化语义、情景演算

所属期刊栏目：57

分类号：TP393(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973项目2010CB328104;高等学校博士学科点专项科研基金项目200802860031;江苏省自然科学基金重点项目BK2008030;江苏省"网络与信息安全"重点实验室基金项目BM2003201;"计算机网络和信息集成"教育部重点实验室基金项目93K-9;江苏省博士后科研资助计划项目H1002005C

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页码：369-374