对电子政务应用中复杂交互行为的形式化建模与验证，孙猛，李屹，当下社会演变之迅速前所未有，随着政务信息化程度的不断加强，电子政务系统的可靠性，安全性和高效性正在受到巨大考验。因此对大