Hits:

Indexed by:期刊论文

Date of Publication:2011-12-01

Journal:SECURITY AND COMMUNICATION NETWORKS

Included Journals:Scopus、SCIE、EI

Volume:4

Issue:12

Page Number:1461-1468

ISSN No.:1939-0114

Key Words:protocol verification; strand spaces; agent system; dynamic authorization; virtual organization

Abstract:The purpose of this paper is to introduce a technique to eliminate parallel attacks to protocol in virtual organization (VO) through enforcing dynamic authorization policies. Grid realizes coordinated resource sharing across multiple management domains. VO is defined as a key concept for operation and management of grid services. Due to the fact that VO focuses on dynamic, cross-organizational sharing relationships, one of the central challenges in the construction of scalable VO is that protocol specified by VO may have process of parallel running. To solve this problem, we present a formal definition of non-honest participants' malicious coordination operations which are necessary for parallel attack counterexample in VO. Based on that, we present the two-level dynamic authorization policy deploying scheme in VO for eliminating parallel attacks. Copyright (C) 2011 John Wiley & Sons, Ltd.