网络通信与电子商务安全监测与分析系统可行性研究报告.docVIP

重点科研与攻关项目可行性研究报告 计划类别： 科学研究和攻关类计划 项目类别： 工业重点科研计划 课题名称：网络通信与电子商务安全监测与分析系统 申请单位： 南 昌 大 学 （盖章） 项目（课题）负责人： 肖 美 华 起止年限： 2007年01月------2008年12月 通讯地址：南昌市红谷滩学府大道999号南昌大学信息工程学院330031 联系电话、传真：0791-3969692报告编制单位： 南 昌 大 学 南 昌 市 科 技 局 一、总论 （一）项目的目的和意义 开发一套用于网络安全检测网络软件是对网络系统进行安全性分析，及时发现并检查报告系统存在的弱点和漏洞，和安全策略，达到增强网络安全性的目的afety-Critical系统的安全性与可靠性的重要手段[1][2]。 形式化方法在软件验证的应用大致从串行程序验证开始，随后运用于反应式系统、并发系统、实时系统中，形式化方法原则上就是用数学与逻辑的方法描述和验证软件。从描述上讲，一方面是系统或程序的描述，另一方面是性质的描述。这些可以用一种或多种语言来描述[3][4][5]。这些语言包括命题逻辑，一阶逻辑，高阶逻辑，代数，状态机，并发状态机，自动机，计算树逻辑，线性时序逻辑，进程代数，π-演算，μ-演算，特殊的