论文部分内容阅读
Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性.
Web应用有效性的模型验证方法
【摘 要】
：
Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式
【出 处】
：
计算机工程
【发表日期】
：
2003年z1期
【基金项目】
：
国家自然科学基金项目(69973032)
其他文献
目的评价通过口腔健康讲座提高公众口腔健康知识水平的效果。方法在25场口腔健康讲座前后分别发放内容基本相同的问卷，将被调查者按学历分为2组，评价不同文化程度的人群口腔健
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的 在高钙尿症的筛查中，一次随机的尿钙与肌酐的比值（UCa／Cr）是一个有实用价值的指标。国内一些地区相继制定了各地区正常儿童的UCa／Cr的参考值。而天津市健康儿童的UCa／Cr的研究
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
期刊
从中古以来《维摩经》注疏的思想史来看,该经在中国中古佛教义学中具有相当广泛与深入的影响力,对其讲疏之风也一度发展到巅峰。关于《维摩经》不同思想的注疏,从罗什、僧肇
由多种中草药组成的复方盘龙七片具有活血、通络，抗炎和祛风湿等药理作用。临床上主要用于各种急慢性损伤。骨性关节炎等。本文就其作用机理，临床应用和副作用处理做一综述。
整体硬质合金钻头在加工硬度较高的球墨铸铁时主刃口外缘转角处容易崩刃、刃带易磨损,使得钻头的寿命低。在分析实际加工条件和被加工材料的特征后,修改原有刃带形式。经过检