前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >形式化分析工具AVISPA(二):使用及教程资料

形式化分析工具AVISPA(二):使用及教程资料

原创
作者头像
春风大魔王
修改2020-07-20 10:05:07
2K0
修改2020-07-20 10:05:07
举报
文章被收录于专栏:认证协议的形式化分析

配置必要的设置

1.双向拷贝

参考资料:https://blog.csdn.net/pan_tian/article/details/22619687

参考资料:https://blog.csdn.net/pan_tian/article/details/22619687?utm_medium=distribute.pc_relevant.none-task-blog-BlogCommendFromMachineLearnPai2-1.nonecase&depth_1-utm_source=distribute.pc_relevant.none-task-blog-BlogCommendFromMachineLearnPai2-1.nonecase

如果无法双向复制也没关系。

剪贴板的共享的。

可以在自己主机上进行代码编写。在虚拟机上进行演示。问题不大。

1.相关教程我上传至百度云盘。

比系统自带的要新
比系统自带的要新

背渡网判地址

链接:https://pan.baidu.com/s/1ftqUSKiW4ZFgDI-40ecZoQ

提取码:0ygb

压缩包密码:可以关注我公众号:养两只猫。发送:VISPA教程

2.安装包

可满足常用需求
可满足常用需求

背渡网判地址

链接:https://pan.baidu.com/s/1jFxOes_bvRGEF_8GaLMwKw

提取码:vdur

压缩包密码:可以关注我公众号:养两只猫。发送:VISPA安装包

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 配置必要的设置
    • 1.双向拷贝
    • 剪贴板的共享的。
      • 1.相关教程我上传至百度云盘。
        • 2.安装包
        领券
        问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档