论文研究基于SMV的滑动窗口协议的形式化建模与分析 .pdf

针对IKEv2协议在系统开销和发起方身份保护方面的不足，提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的Weil对技术进行数字签名认证，并且首先认证响应方身份。通过该方案，改进后的协议降低了系统

苏州大学 计算机科学与技术学院 软件工程 软件形式化 课件与参考习题 全

实验一.doc 对于滑动窗口协议的介绍 a) 窗口机制 b) 1比特滑动窗口协议 c) 后退n协议 d) 选择重传协议 实验一：实验报告.doc 说明了试验过程和总结等。 SlideWindowSen

基于分层EFSM的OpenFlow协议建模，章志豪，张先恩，OpenFlow协议作为软件定义网络（SDN）目前事实的南向标准协议之一，受到了越来越多的研究者的关注。在本文中，针对OpenFlow协议建

形式化方法

法国著名大学研究生的b方法学习课件，不容易啊。老师提供的

软件开发的形式化方法。软件工程专业研究生一年级课程。

尽管DCA算法在各种入侵检测方面的成功应用证实了DCA在检测率方面具有很好的性能,但到目前为止,对DCA算法仍然缺乏一种严谨的、形式化的定义与描述。在总结前人的研究成果的基础之上,通过采用数学函数定义

形式化方法 课程学习 可以借鉴一下,哪些比较基础,哪些比较成熟或者先进

Idris中同伦类型理论的一个小、不完整和不一致的形式化。这表明，在Idris当前处理平等的情况下，任何在Idris中正式化HoTT的尝试都是不健全的。问题是Idris具有异构相等性，以及异构相等性重