【摘 要】
：
大规模分布式系统中资源、用户、计算和管理分布化的特点,决定了实体间的频繁交互成为大规模分布式系统完成基本业务和实现安全机制的基本手段。针对因安全机制缺失而引入的
【机 构】
：
清华大学计算机科学与技术系,北京系统工程研究所
论文部分内容阅读
大规模分布式系统中资源、用户、计算和管理分布化的特点,决定了实体间的频繁交互成为大规模分布式系统完成基本业务和实现安全机制的基本手段。针对因安全机制缺失而引入的大规模分布式系统交互脆弱性问题,提出了一种大规模分布式系统实体交互脆弱性分析模型LDS-IVA;通过对大规模分布式系统实体交互过程进行建模,采用可通用的大规模分布式系统交互安全机制描述语言IS-LAN描述各实体的安全机制,以大规模分布式系统中的关键资源为分析对象,采用有限状态机的方法对大规模分布式系统实体交互进行分析和验证,发现安全机制缺失和不足对
其他文献
软式排球在全民健身计划、建设社会主义新农村和发展新农村体育的大形势下，是一种规则简单、场地易寻、娱乐性和健身性都很强的优势运动项目。它应该在建设社会主义新农村、发
十九世纪以来,美国高等教育呈现出多种发展模式,其中,麻省理工学院代表了创业型大学发展的潮流,是多种发展模式的综合体现,也昭示着高校与企业、政府之间发展新型关系的趋势
根据海面图像的单应进行距离估算对于海洋工程具有重要意义。结合导管架入水参数观测问题,提出一种海面图像单应的估算方法。该方法以导管架上表面为参考平面,依据其单应矩阵及它与海平面之间的夹角计算出海面图像的单应。重点介绍了根据特征直线计算平面单应矩阵时的数据归一化方法。通过实验分析了这种归一化方法对平面远处距离估算的影响,并根据现场图片中的距离估算误差说明了在实际应用中的效果。该方法可以应用到多种海洋观
《标准》对矩阵的课程目标要求不高,不需要较好的数学基础和数学能力,针对这一选修课的特点,创设问题情境激发数学学生的兴趣,引导从不同角度思考数学问题,加强知识间的联系,
分析了New-Apriori和MWFI（Mining Weighted Frequent Itemsets）算法之不足,提出了一种挖掘加权频繁项集的New-MWFI算法。该算法按属性的权值对事务进行分类,并依次求出每个类别