用户10617086

文章/答案/技术大牛

发布

LV0

我关注的人

形式化分析工具（六）：HLPSL Tutorial

本文为阅读笔记。文章题目为： HLPSL Tutorial A Beginner’s Guide to Modelling and Analysing Inte...

春风大魔王 2020-07-232020-07-23 14:21:02

nat、NAT 网关、编程算法、linux

SPAN: a Security Protocol ANimator for A VISPA

Protocol Simulation：模拟协议并建立对应于HLPSL规范的特定MSC（Message Sequence Charts，消息序列图）；

春风大魔王 2020-07-222020-07-22 09:53:10

linux、网络安全、安全

（补充）SPAN+AVISPA for Verifying Cryptographic Protocols

消息认证：如果A知道是谁创建的消息m，则称A能认证m。电子签名：私钥加密、公钥解密。（ID,{ID}K-1）比较ID是否一样。

春风大魔王 2020-07-222020-07-22 17:54:03

ide、python、http

SPAN+A VISPA for Verifying Cryptographic Protocols

原作者有配套的视频教程。关注：养两只猫。发送视频教程，获取地址。 image.png image.png image.png image.png image.p...

春风大魔王 2020-07-212020-07-21 14:22:02

protocols

形式化分析工具（五）使用CAS +语法轻松编写HLPSL规范

在协议执行的开始，每个主体都需要一些初步的知识来撰写他的消息。知识之后的字段将与每个用户相关联的标识符列表，描述了协议开始之前他所知道的所有数据（names，k...

春风大魔王 2020-07-202020-07-20 17:33:48

数据分析、面向对象编程

形式化分析工具AVISPA（四） SPAN工具简要介绍

3.protocol、intruder、attack simulation是三种模拟形式。分别是协协议仿真、入侵者仿真、攻击仿真

春风大魔王 2020-07-202020-07-20 10:23:33

monitoring、pdf、simulation

形式化分析工具AVISPA（三）2.学习User micro-manual of AVISPA

工具hlpsl2if编译扩展名为.hlpsl的文件中作为参数给定的协议的规范，并列出规范中发现的错误，或者生成一个名称相同但扩展名为 .if 的文件，该文件将在...

春风大魔王 2020-07-202020-07-20 10:18:56

网络安全、安全

形式化分析工具AVISPA（三）学习User micro-manual of AVISPA

hlpsl2if：将用HLPSL语言编写的规范转换为IF语言的低级规范的工具。cl-atse：用于分析安全属性的工具

春风大魔王 2020-07-202020-07-20 10:18:06

php、http、html

个人简介

暂未填写公司和职称
暂未填写个人简介
暂未填写技能专长
暂未填写学校和专业
暂未填写个人网址
暂未填写所在城市
加入社区时间：2023-06-13

个人成就

TA 很懒，什么都没有留下╮（╯＿╰）╭

关注了：1关注者：0