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

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (18): 98-102.

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

赵刚1，2，赵金晶2，况晓辉2，郑纬民1

1.清华大学计算机科学与技术系，北京 100084
2.北京系统工程研究所，北京 100101

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-06-21 发布日期:2011-06-21

Analysis on entity interaction vulnerability in large-scale distributed system

ZHAO Gang1，2，ZHAO Jinjing2，KUANG Xiaohui2，ZHENG Weimin1

1.Department of Computer Science and Technology，Tsinghua University，Beijing 100084，China
2.Beijing Institute of System Engineering，Beijing 100101，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-06-21 Published:2011-06-21

摘要/Abstract

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

关键词: 大规模分布式系统, 实体交互模型, 脆弱性分析, 有限状态机

Abstract: Due to the resource distributing，user distributing，computing distributing and management distributing in Large-scale Distributed System（LDS），the frequent interaction between entities becomes the foundation for the implementation of its basic operation and security mechanism.An analysis model named as LDS-IVA on Interaction Vulnerability Analysis is presented，which is aimed at the analysis of entity interaction vulnerabilities resulting from the lack of security mechanism.LDS-IVA builds the entity interaction model，designs the general interaction security mechanism description language IS-LAN，takes the key resources in LDS as the objects for analyzing，and adopts the Finite State Machine（FSM） technique to analyze and validate the entity interaction vulnerabilities.In this way，LDS-IVA finds out the bad influence on the resource confidentiality，integrity and availability caused by the lack of security mechanism，and thus recognizes the vulnerabilities and attack patterns in LDS.

Key words: Large-scale Distributed System（LDS）, entity interaction model, vulnerability analysis, Finite State Machine（SFM）

赵刚1，2，赵金晶2，况晓辉2，郑纬民1. 大规模分布式系统实体交互脆弱性分析方法[J]. 计算机工程与应用, 2011, 47(18): 98-102.

ZHAO Gang1，2，ZHAO Jinjing2，KUANG Xiaohui2，ZHENG Weimin1. Analysis on entity interaction vulnerability in large-scale distributed system[J]. Computer Engineering and Applications, 2011, 47(18): 98-102.

[1]	王迪，李彩虹，郭娜，刘国名，高腾腾. 基于模糊势场法的移动机器人局部路径规划[J]. 计算机工程与应用, 2021, 57(6): 212-218.
[2]	伍旭东，唐麒，张伟，张健，魏急波，王一军. 基于扩展有限状态机的SCA符合性测试方法研究[J]. 计算机工程与应用, 2021, 57(16): 263-268.
[3]	郭娜，李彩虹，王迪，张宁，刘国名. 结合预测和模糊控制的移动机器人路径规划[J]. 计算机工程与应用, 2020, 56(8): 104-109.
[4]	康红凯，吴礼发，洪征，庄洪林，张亚丰. 一种基于FSM的BGP-4协议模糊测试方法[J]. 计算机工程与应用, 2017, 53(6): 111-117.
[5]	彭家寅. 扰动模糊有限状态机的转移结构[J]. 计算机工程与应用, 2017, 53(16): 1-9.
[6]	谢耀滨，舒辉，常瑞，蒋烈辉，张媛媛. 可编程逻辑控制器脆弱性分析关键技术研究[J]. 计算机工程与应用, 2016, 52(12): 101-107.
[7]	李冬辉，张斌，费晓飞. 基于OSBE的属性访问控制模型[J]. 计算机工程与应用, 2015, 51(7): 84-87.
[8]	胡忠刚，娄全福，孙小迎. 格值有限状态机的一些性质[J]. 计算机工程与应用, 2015, 51(21): 70-73.
[9]	尤枫，边毅，赵瑞莲. EFSM模型的字符串类型测试数据自动生成[J]. 计算机工程与应用, 2014, 50(16): 57-61.
[10]	马君亮，汪西莉，何聚厚，肖冰. 增强型Anti-Xprobe2的研究与设计[J]. 计算机工程与应用, 2012, 48(32): 1-4.
[11]	杨京开1，陈秀红2. 直觉模糊有限状态机的子系统[J]. 计算机工程与应用, 2012, 48(25): 52-56.
[12]	尤枫，闫宇，赵瑞莲. 含过程调用EFSM模型测试数据生成[J]. 计算机工程与应用, 2011, 47(32): 87-90.
[13]	杨韬¹，邓红莉²，邵晨曦³. 基于Agent和FSM的细胞信号转导网络仿真[J]. 计算机工程与应用, 2011, 47(3): 221-224.
[14]	张秀平，杨国武，李晓瑜. MMU协处理器的一种软件模拟模型[J]. 计算机工程与应用, 2011, 47(3): 57-60.
[15]	田园，李建斌，张振. 一种逆向分析协议状态机模型的有效方法[J]. 计算机工程与应用, 2011, 47(19): 63-67.