頁籤選單縮合
題 名 | An Interaction Vulnerability Detection Model in Large Distributed System Based on Finite State Machine |
---|---|
作 者 | Zhao, Jinjing; Zhao, Gang; Wen, Yan; Huang, Minhuan; Kuang, Xiaohui; | 書刊名 | Journal of Internet Technology |
卷 期 | 12:4 2011.07[民100.07] |
頁 次 | 頁659-668 |
分類號 | 312.76 |
關鍵詞 | Large distributed system; Entity interaction model; Vulnerability analysis; FSM; |
語 文 | 英文(English) |
英文摘要 | Distribution is the essential characteristic of the resource, user, computing task and management in a Large Distributed System (LDS). Due to this characteristic, the frequent interactions between entities tends to serve as the foundational approaches to implement the basic operations and security mechanisms in LDS. In this paper, we propose a new approach, to formally characterize the entity interaction vulnerabilities in LDS which results from the absence of necessary security mechanisms. We also construct a general interaction security mechanism description language. By introducing the finite state machine, this language analyzes the key resources in LDS to detect and validate the entity interaction vulnerabilities. In this way, our approach provides the capability to find out the negative influence on the resource confidentiality, integrity and availability incurred by the deficiency of security mechanisms, and to identify the interaction vulnerabilities along with the attack patterns. |
本系統中英文摘要資訊取自各篇刊載內容。