一种基于虚拟组织的网格安全协议形式化验证方法

赵辉，李明楚，王智慧

New formal verification method of grid security protocols based on virtual organization

ZHAO Hui，LI Ming-chu，WANG Zhi-hui

计算机工程与应用 . 2007, (24): 117 -122 .