面向分布式证明的信任协商策略语言和方法

来源 :软件学报 | 被引量 : 0次 | 上传用户:pzchh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现有信任协商语言对复杂的访问控制策略和协商策略以及信任分布式证明方法的支持都不够全面.在RT(role—based trust—management)语言基础上提出一种面向信任分布式证明和协商的策略语言RTP(role-based trust proving),其特点是能够支持信任分布式证明方法,可以定义复杂角色,保护信任证敏感信息并能避免信任证盲目搜索.给出了RTP语言及其推理规贝4的语法语义描述,介绍了一种基于RTP语言的信任分布式证明协商示例算法.实验结果表明,该算法支持RTP语言的功能,且比传统信
其他文献
目的 了解广东省壮族集中居住人群宫颈癌发病率及流行病学特征,为宫颈癌的防治提供依据。方法 以当地壮族集中居住人群中年龄为20~65岁,有2年以上性生活史的妇妇女为调查对象。
中国社会主义初级阶段的政治现实决定了邓小平政治理论的立足点。邓小平立足于我国人民的根本利益,科学揭示出我国现阶段社会主义政治的本质、内涵以及政治过程的实质,提出了判
西部地区多山,当发生地震、山体滑坡、泥石流等灾害时会引发重大交通事故,给人民生命财产带来重大损失,对此建立起灾害条件下交通事件预警系统。论文从理论上论述预警系统的
在建筑施工中都非常重视材料和构件的试验检测工作,工程竣工验收的内业资料中,试验资料也是重要组成部分,要想做好施工中的试验工作,工地的工程技术人员要和检测部门密切配合
随着我国人口老龄化问题的日益突出.疾病谱发生以慢性非传染性疾病为主的变化,以肿瘤为代表的慢性非传染性疾病已成为危害人类健康的主要因素,已占居民死亡原因的第一位。赣榆县
提出了一种概率模型对HDR(high dynamic range)图像进行色调再生.分别对局部像素的色调能量分布与HDR/LDR(low dynamic range)间梯度变化约束建立概率统计模型,通过求解最大后验概率(maximum a posteriori,简称MAP)将整个色调映射过程转化为一个能量最小化问题.实验结果表明,所提出的基于概率模型的色调映射方法能够生成比以往方法具有更多视觉信息
本文首先论述了跨国公司的发展与世界经济的变化。其次,重点讨论了跨国公司联盟型竞争的理论及其主要特征。最后提出了面对联盟型竞争应采取的对策。
1护理与健康教育指导——完善整体护理 以人为本.对病人开展全方位的护理.这要求护理人员不仅要具有专业的知识,还要具有心理、保健等方面的知识。在疾病治疗过程中,除了治疗疾病
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环
给出一种基于CEI(containment-encoded intervals)的存储优化的数据流查询区间索引结构.在数据流处理中涉及到大量的数值型区间查询操作,构造一个基于主存并支持快速查询的区间索