【摘 要】
：
针对Internet环境下广泛的信任危机,人们着力于研究可信性支撑和度量技术.传统模型和机制很少从信任本身看问题,并且大多只涉及可信的单个方面,对于有多种可信特性需求的系统
【机 构】
：
北京大学信息科学技术学院软件研究所
论文部分内容阅读
针对Internet环境下广泛的信任危机,人们着力于研究可信性支撑和度量技术.传统模型和机制很少从信任本身看问题,并且大多只涉及可信的单个方面,对于有多种可信特性需求的系统来说,很难提供一致的管理.本文以Internet环境下的软件服务为研究实体,从信任角度出发,致力于为软件服务的可信性管理建立一致视图.首先基于中间件建立了一个信任管理模型,然后基于对可信特性的共性提炼,构建了一个可定制、扩展性良好的信任管理框架,并以可扩展为目标建立了一个可行的可信性度量模型.最后基于构件运行支撑平台PKUAS进行了设计
其他文献
尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UMLStatecharts作适当实时扩展,使得扩展后能描述non trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础
本文提出了一种确定证据理论k-NN分类规则中相似度参数的新方法.对于一个模式识别问题,我们首先为每一模式类求得一个参考最近邻距离,使其在最小错误率意义下将训练样本集中
基于Kalman滤波方法和白噪声估计理论,在线性最小方差按矩阵加权最优信息融合准则下,提出了带相关噪声系统多传感器信息融合白噪声反卷积滤波器.提出了各传感器滤波误差之间
高校的实践育人工作作为教育教学活动的重要环节,对于大学生成人成才的作用非常关键。通过对实践育人概念的现代性解读,审视实践育人实施过程中亟需突破的问题,进而构建多维
我国县级义务教育财政政策执行中存在经费投入机制低水平且缺乏持续性、预算机制难以真正落实、经费管理机制不合理、监督机制不明确、难以兼顾受教育者多元化需求等问题,解
数学方向的核心课程是高师小学教育专业核心课程的一部分,在整个课程体系中占据重要地位.在对高师院校小学教育专业数学方向课程设置的现状分析以及核心课程构建的影响因素分
本文提出了一种基于内存优化和启发式深度优先搜索的小波零树图像编码算法,采用标志位和启发式的深度优先搜索策略完成零树编码中的排序和细化过程.采用一张标志位图标识细化
当前的文艺评论正面临前所未有的历史局面，信息技术背景下异常复杂的社会文化环境和纷繁多变的文艺现场，使得文艺评论的权威性和有效性正遭遇一场来自内部和外部的双重危机。为
本文提出了一种基于ZIG-ZAG交织的灵活宏块排列算法ZFMO，按ZIG-ZAG扫描方式沿次对角线方向上交织排列宏块，从而在低位率下达到了编码效率和容错性能的最佳平衡点、实验结果表明
随着对网络拥塞控制的深入研究,出现了许多有关网络流量的控制理论及网络模型.Misra等人于2000年基于流体流(fluid flow)理论提出的模型被研究人员广为采用.但模型在推导过程