大规模分布式系统实体交互脆弱性分析方法

作者：赵刚; 赵金晶; 况晓辉; 郑纬民

来源：计算机工程与应用, 2011, (18): 98-102.

• 大规模分布式系统
• 实体交互模型
• 脆弱性分析
• 有限状态机 Large-scale Distributed System(LDS)
• entity interaction model
• vulnerability analysis
• Finite State Machine(SFM)

大规模分布式系统中资源、用户、计算和管理分布化的特点,决定了实体间的频繁交互成为大规模分布式系统完成基本业务和实现安全机制的基本手段。针对因安全机制缺失而引入的大规模分布式系统交互脆弱性问题,提出了一种大规模分布式系统实体交互脆弱性分析模型LDS-IVA;通过对大规模分布式系统实体交互过程进行建模,采用可通用的大规模分布式系统交互安全机制描述语言IS-LAN描述各实体的安全机制,以大规模分布式系统中的关键资源为分析对象,采用有限状态机的方法对大规模分布式系统实体交互进行分析和验证,发现安全机制缺失和不足对关键资源机密性、完整性和可用性的影响,以识别大规模分布式系统交互中存在的脆弱性及其可能引发的攻击模式。

• 出版日期2011
• 单位清华大学