|
个人信息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
扫描关注
一种基于虚拟组织的网格安全协议形式化验证方法
点击次数：
论文类型：期刊论文
发表时间：2007-08-21
发表刊物：计算机工程与应用
收录刊物：PKU、ISTIC、CSCD
卷号：43
期号：24
页面范围：117-122,145
ISSN号：1002-8331
关键字：网格;协同计算;形式化分析;虚拟组织;Strand Space
摘要：虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础.对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂.通过引入网格计算信道的概念,在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协议形式化验证方法,实现了网格环境下多用户协同计算安全协议的分析与证明.