协议
cheese0_0
在校学生,学习中。
展开
-
wireshark、aircrack的使用&抓到你了(实验吧)writeup
本博客多为与信息安全相关的博文,我希望以此来记录自己的学习轨迹,如有错误,欢迎交流指正。wireshark常用的过滤语法: 根据协议:dns,http,icmp 根据地址:ip.src,ip.dst 根据端口:tcp.port==80 其中过滤表达式可以用逻辑语句的形式构建,只要表达式为绿色即为正确。 我们在网络中经常会使用到ICMP协议,比如我们经常使用的用于检查网络...原创 2018-07-31 19:15:18 · 986 阅读 · 0 评论 -
《网络协议分析与设计》实验报告书 实验一
一、实验目的1.熟悉数据链路层协议,并能用PROMELA语言正确描述2.掌握用SPIN验证协议的方法二、实验原理对于给定的一个使用PROMELA描述的协议系统,SPIN可以对其执行任意的模拟,也可以生成一个C代码程序,然后对该系统的正确性进行有效检验,并报告系统中出现的死锁,无效的循环,未定义的接受和标记不完全等情况。三、实验仪器PC机四、实验内容将 6.3 节描述的协议条件改为:...原创 2019-05-09 12:15:28 · 7569 阅读 · 2 评论 -
《网络协议分析与设计》实验报告书 实验二
一、实验目的1.熟悉AB协议,并能用PROMELA语言正确描述2.掌握用SPIN验证协议的方法二、实验原理对于给定的一个使用PROMELA描述的协议系统,SPIN可以对其执行任意的模拟,也可以生成一个C代码程序,然后对该系统的正确性进行有效检验,并报告系统中出现的死锁,无效的循环,未定义的接受和标记不完全等情况。三、实验仪器PC机四、实验内容请根据下图写出著名的 AB 协议的 PR...原创 2019-05-09 12:18:41 · 3507 阅读 · 0 评论 -
《网络协议分析与设计》实验报告书 实验三
一、实验目的1.熟悉GO-BACK-N协议,并能用PROMELA语言正确描述2.掌握用SPIN验证协议的方法二、实验原理对于给定的一个使用PROMELA描述的协议系统,SPIN可以对其执行任意的模拟,也可以生成一个C代码程序,然后对该系统的正确性进行有效检验,并报告系统中出现的死锁,无效的循环,未定义的接受和标记不完全等情况。三、实验仪器PC机四、实验内容用PROMELA描述Go-...原创 2019-05-09 12:20:47 · 3770 阅读 · 4 评论