【摘 要】
:
以DataLog逻辑描述语言的Herbrand模型为基础定义策略语言,实现访问控制与授权控制逻辑,提出了积极协商策略,以解决信任协商中的多方协商问题。
【机 构】
:
苏州大学计算机科学与技术学院,江苏信息职业技术学院计算机工程系
【基金项目】
:
国家“863”计划资助项目(2006AA01Z147), 江苏省高技术研究资助项目(BG2005020)
论文部分内容阅读
以DataLog逻辑描述语言的Herbrand模型为基础定义策略语言,实现访问控制与授权控制逻辑,提出了积极协商策略,以解决信任协商中的多方协商问题。
其他文献
为了分析安全事件对网络的影响,准确、全面地评估系统的安全态势,并迅速找出系统中的最薄弱环节,提出一种基于多源异构传感器的网络安全态势评估模型。首先,运用改进的DS融合规则结合AHP算法对多传感器提交的安全数据进行初步融合;然后,针对可能造成的漏报问题,配合预定义的安全策略进行全局融合,得到整个网络当前的安全态势。通过对实验网络的分析表明,提出的方法符合实际应用,评估结果准确、有效,有助于更好地调整
针对模糊C-均值聚类算法过度依赖初始聚类中心的选取,从而易受孤立点和样本分布不均衡的影响而陷入局部最优状态的不足,提出一种基于自适应权重的模糊C-均值聚类算法。该算法采用高斯距离比例表示权重,在每一次迭代过程中,根据当前数据的聚类划分情况,动态计算每个样本对于类的权重,降低了算法对初始聚类中心的依赖,减弱了孤立点和样本分布不均衡的影响。实验结果表明,该算法是一种较优的聚类算法,具有更好的健壮性和聚
高校思想政治理论课案例教学效果评价存在评价中心不突出、评价目的不明确和评价指标不科学等问题,根据思想政治理论课案例教学效果评价的特殊性,基于不同的评价主体,从案例
客观公平的年度绩效考核是提高高校行政人员工作效能的重要手段。相对高校专任教师年度绩效考核而言,行政人员年度绩效考核方法较为滞后。探究行之有效的高校行政人员年度绩效
《遗传学》是部分高等学校的一门重要专业基础课程,而由于其教学内容的特殊性,与高中《生物学》教学的部分教学内容有一定的交叉和重复,因此对两门课程进行有效的梳理和调和,
网络QoS机制不足以提供完全的端到端的性能保证,在由三层结构构成的电子商务网站中,基于反馈控制理论,提出并实现了在应用服务器的数据库连接池中的绝对延迟保证,对数据库连接池作出了改进,确保带有高优先级请求的平均排队延迟不超过设定的阈值。通过系统辨识建立了数据库连接池的近似线性时不变模型(LTI),并设计了绝对延迟保证控制器,为Tomcat Web应用服务器实现了数据库连接池中闭环系统所有部件。测试结
通过引入接收线程池、转发对象池、文件缓冲区等技术,构建了一个面向大规模物联网应用的底层网络通信模型。实验结果表明,该模型的效率与稳定基本能满足大规模的底层通信,适用于物联网应用。
针对普通高校分省招生计划编制问题,提出了一种招生计划二次分配模型。初次分配使用灰色模型计算招生计划基础值部分,二次分配借助模糊指标体系计算招生计划调整值部分。通过实际应用,证明该模型在提高入学机会的公平性和降低高校属地计划占有度方面具有积极的作用。