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

摘要：

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

关键词： 信任本体 动态信任模型 形式化语义 情景演算

作者: 王海艳 谢武锋

作者单位: 南京邮电大学计算机学院，江苏南京 210003 东南大学计算机科学与工程学院，江苏南京 210096 南京邮电大学计算机学院，江苏南京 210003

会议类型: 国内会议

会议名称: 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)

会议地点: 贵阳

会议语种:中文

页码: 127-132

在线出版日期: 2011-08-01（万方平台首次上网日期，不代表论文的发表时间）