用户9492480 - 个人中心 - 腾讯云开发者社区-腾讯云

开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

用户9492480

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

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

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

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

数据分析、面向对象编程

个人简介

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

个人成就

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

关注了：1关注者：0