一种基于规范的可信协同系统分析设计框架

来源 :计算机科学 | 被引量 : 0次 | 上传用户:sunxiaoyan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对可信协同系统分析建模与设计问题,提出了RBN—T模型,分析了模型中的可信保障机制及策略。提出了基于RBN—T模型的可信协同系统分析建模过程,以具体的实例说明了RBN—T模型在可信协同系统分析建模与设计上的可用性。RBN-T模型把基于角色的规范管理提升到适合可信协同系统分析建模与设计的层次,从而有利于在协同系统开发的早期阶段就关注可信问题。
其他文献
安全协议用于实现开放互连网的通讯安全,时间戳可以保证协议传输消息时的新鲜性。但目前对含有时间特性的协议的研究还很不成熟,还没有有效的方法来验证带时间戳的安全协议。这
函数单向S-粗集(Function one direction singular rough sets)是用R-函数等价类定义的,函数是个规律;函数单向S-粗集具有规律特征、动态特征。利用函数单向S粗集,给出规律F-隐藏
在随机测试的基础上提出了VLSI电路测试中的一个新概念,即预确定距离测试。随机测试广泛应用于软硬件测试中已经有多年了。众所周知,随机测试中每个测试码都是随机选取的而不管
对象存储重新划分了传统文件系统的功能,并将存储管理功能下放到智能存储设备中。采用基于对象接口,利用智能存储设备的计算能力改善存储性能,获得了更好的可扩展性、安全性
提出了一种快速挖掘频繁闭项集并构建其格的算法Q-CFIsL。该算法引入了preC(X)的概念,使用preC(X)加快了包容检测和建格的速度。实验表明,对于真实数据集以及合成数据集,Q-CFIsL的性
在(t,n)门限秘密共享方案中,有n个参与者,至少t个参与者拿出自己的子秘密就能够同时重构m个秘密。He-Dawson提出了一个基于单向函数的多步骤秘密共享方案。但是他们的方案是一次方
为了在无线传感器网络中实现安全、有效的路由,根据节点的分组转发率、距离目标节点的距离和节点的剩余能量建立了一个本地信任模型。并利用所建立的信任模型和多目标决策技术
作为一种新型体系结构,延迟/中断容忍网络(DTN)近年来得到了广泛的研究与应用。由于其面临的应用环境极为特殊,DTN中存在着资源耗尽、数据安全、分片认证及隐私保护等诸多特有的安
针对两类不平衡数据的分离超平面的偏移问题提出一种调整方法。首先对两类样本数据进行初步训练,产生一个初步分离超平面的法向量,然后把高维样本投影到该法向量上得到一维数据
可扩展性是并行计算系统的重要性能指标,虽然异构系统越来越普遍,但对其可扩展性的研究还很少。给出了一种既适合同构并行计算系统又适合异构并行计算系统的效率的定义,根据