基于π演算的WSN路由协议形式化验证的方法研究-计算机软件与理论专业论文.docxVIP

万方数据 万方数据 分类号： 密级： U D C ： 编号： 工学硕士学位论文 基于π演算的 WSN 路由协议形式化验证的 方法研究 硕士研究生 ：张旭 指 导 教 师 ：冯晓宁 副教授 学 位 级 别 ：工学硕士 学 科、专 业 ：计算机软件与理论 所 在 单 位 ：计算机科学与技术学院 论文提交日期 ：2013 年 12 月 论文答辩日期 ：2014 年 3 月 学位授予单位 ：哈尔滨工程大学 Classified Index: U.D.C: A Dissertation for the Degree of M. Eng Research on Formal Verification Method for WSN Routing Protocol Based onπCalculus Candidate: Zhang Xu Supervisor: Associate Prof. Feng Xiaoning Academic Degree Applied for: Master of Engineering Specialty: Computer Software and Theory Date of Submission: December, 2013 Date of Oral Examination: March, 2014 University: HarbinEn