10.3969/j.issn.1000-3428.2003.z1.021
Web应用有效性的模型验证方法
Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性.
Web应用、有效性、模型验证、SPIN Promela
29
TP393(计算技术、计算机技术)
国家自然科学基金69973032
2005-02-22(万方平台首次上网日期,不代表论文的发表时间)
共3页
43-44,49