Skip to content

liubi03 / protocol Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

安全协议分析的一些课件资料

0 stars 1 fork Branches Tags Activity

liubi03/protocol

Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Lecture 1-安全协议概述-new(1).pdf		Lecture 1-安全协议概述-new(1).pdf
Lecture 10-基于模型检测的分析方法-新(3).pdf		Lecture 10-基于模型检测的分析方法-新(3).pdf
Lecture 11-基于定理证明的分析方法-新2024.pdf		Lecture 11-基于定理证明的分析方法-新2024.pdf
Lecture 12-课程总结(2).pdf		Lecture 12-课程总结(2).pdf
Lecture 2-安全协议中的密码算法(4).pdf		Lecture 2-安全协议中的密码算法(4).pdf
Lecture 3-安全协议的需求分析和目标描述(3).pdf		Lecture 3-安全协议的需求分析和目标描述(3).pdf
Lecture 4-安全协议面临的攻击与设计原则(2).pdf		Lecture 4-安全协议面临的攻击与设计原则(2).pdf
Lecture 5-基础安全协议-认证协议.pdf		Lecture 5-基础安全协议-认证协议.pdf
Lecture 6-实际使用的安全协议1-移动通信中的安全协议(2).pdf		Lecture 6-实际使用的安全协议1-移动通信中的安全协议(2).pdf
Lecture 7-安全协议的形式化分析(3).pdf		Lecture 7-安全协议的形式化分析(3).pdf
Lecture 8-形式化分析工具ProVerif及其案例.pdf		Lecture 8-形式化分析工具ProVerif及其案例.pdf
Lecture 9-基于逻辑推理的分析方法(2).pdf		Lecture 9-基于逻辑推理的分析方法(2).pdf
README.md		README.md
安全协议形式化分析+proverif学习讲座-冯皓楠2024年10月.pptx		安全协议形式化分析+proverif学习讲座-冯皓楠2024年10月.pptx

Repository files navigation

介绍

一些协议分析的PPT

About

安全协议分析的一些课件资料

Resources

Stars

Watchers

Forks

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2