|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：Director of Academic Committee at Kaifa District
其他任职：开发区校区学术分委员会主任（Director of Academic Committee at Kaifa Campus）
性别：男
毕业院校：多伦多大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 运筹学与控制论
办公地点：开发区（Kaifa District Campus）
联系方式：mingchul@dlut.edu.cn
电子邮箱：mingchul@dlut.edu.cn
A formal separation method of protocols to eliminate parallel attacks in virtual organization
点击次数：
论文类型：期刊论文
发表时间：2011-12-01
发表刊物：SECURITY AND COMMUNICATION NETWORKS
收录刊物：Scopus、SCIE、EI
卷号：4
期号：12
页面范围：1461-1468
ISSN号：1939-0114
关键字：protocol verification; strand spaces; agent system; dynamic authorization; virtual organization
摘要：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.