Web应用有效性的模型验证方法

• 作者: 尤晋元 王知镕
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Web应用 有效性 模型验证 SPIN Promela
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 学术论文
• 页码范围: 43-44,49
• 页数: 3页
• 分类号: TP393
• 字数: 2892字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.z1.021

摘要

Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尤晋元	上海交通大学计算机科学及工程系	99	1122	18.0	30.0
2	王知镕	上海交通大学计算机科学及工程系	2	0	0.0	0.0