【摘 要】
:
针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次
【机 构】
:
南京邮电大学计算机学院,江苏南京 210003 东南大学计算机科学与工程学院,江苏南京 210096
【出 处】
:
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)
论文部分内容阅读
针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次的形式化描述方法,对实体信任、行为信任和区域信任进行本体化,并对三种信任本体进行形式化语义演绎和推理。给出了信任相关属性的形式化理论分析,并通过典型的激发场景实例,有效地验证了信任本体化理论。
其他文献
针对传统的基于词频特征向量核方法的垃圾邮件过滤算法中忽略词汇间的序列信息而导致信息损失影响过滤精度的问题,本文将词序列核与SVM(support vector machines)算法结合,对
将3种类型153Sm一树脂微球(153Sm一RTMS)穿刺注入3组家兔肝脏局部,用SPECT分别于注射后1h、2d、2d、3d、4d.5d拍摄全身平面影像.在不同像上勾画ROI,计算总流失率(L%)和脏摄取率(U%).结果表明,未处理型和明胶处理型的153SSm一RTMS的总流失率(L%)和
品牌延伸不同于品牌推广,但品牌延伸是品牌价值最大化的重要手段与方式.它指的是在原有的知名品牌范围基础上,通过授权或加盟的方式,将品牌应用到新的产品或服务领域之中,利
经过改革开放四十多年的发展,中国经济正在由高速增长阶段转入中速增长阶段,商业世界也在发生着前所未有的变化,乃至被重新定义,创新与坚守、转型与取舍、互联网+与传统产业
软件动态行为可信度量是可信计算必须要解决的关键问题之一。对该问题的关键一环,软件动态行为建模理论和方法,进行了研究:以系统调用为建模对象,从软件行为学的观点出发,将软
业务流程访问控制机制是组合Web服务应用中的难点,现有的访问控制模型忽视了流程活动之间动态交互性和协同性的特点,不能适应业务流程权限的动态管理.本文提出一种使用控制支
资金关乎着企业的生存和发展,资金的正常运行是企业发展中最为重要的一个方面,也是维持企业正常运营以及实现经营目标的首要条件.因此,加强对资金的管理十分重要.然而,面对复
我国国有企业改革进程在不断推进,国有企业的市场化建设也在不断加快.其中,管理会计作为国有企业财务管理的关键一环,已成为市场化转型过程中的重要课题.然而,国有企业转型过
建筑施工企业面对日趋激烈的市场竞争、日益复杂的内外部环境,利润空间被压缩得更加狭小,开源创效越来越艰难.因此,作为成本和利润中心的项目,只有加强成本管理,才是提高发展
考虑带检测、预防性维修的冲击模型,在假设系统的故障不能修复如新的条件下,以降低系统运行成本为目标,以检测周期T、系统更换前故障次数N为联合决策变量,利用几何过程和更