努力成长的小张
码龄7年
关注
提问
私信
博客：22,536
22,536
总访问量
38
原创
1,513,010
排名
22
粉丝
0
铁粉
个人简介：
恐惧源于未知
IP属地以运营商信息为准，境内显示到省（区、市），境外显示到国家（地区）
IP 属地：陕西省
加入CSDN时间：
2017-10-29
博客简介：
小张要努力鸭
博客描述：
冲冲冲
查看详细资料
个人成就
获得
18
次点赞
内容获得
13
次评论
获得
72
次收藏
创作历程
10篇
2022年
28篇
2021年
成就勋章
TA的专栏
java开发
10篇
信息安全
14篇
大数据开发
1篇
算法笔记
9篇
Linux
2篇
leetcode刷题
2篇
兴趣领域
设置
大数据
hadoop
hive
storm
spark
etl
创作活动
更多
2024 博客之星年度评选报名已开启
博主的专属年度盛宴，一年仅有一次！MAC mini、大疆无人机、华为手表等精美奖品等你来拿！
去参加
最近
文章
代码仓
资源
问答
帖子
视频
课程
关注/订阅/互动
收藏
搜TA的内容
搜索
取消
Dubbo服务框架
Dubbo服务框架
MybatisPlus
Mybatis-plus
SpringBoot
SpringBoot
SpringMVC
SpringMvc学习
Spring学习
Spring学习
Maven & Git
maven和Git
JavaWeb开发
JavaWeb学习
Java进阶（二）
JAVA进阶（二）
Java进阶（一）
Java进阶一
Java基础温习
java基础
CDH环境搭建
完整记录CDH的搭建流程。
安全协议相关笔记
本文简要记录了《密码协议分析的逻辑方法》的一些笔记。...
密码协议分类总结
主要总结身份认证协议的分类及介绍。重点问题是怎样区分基于ID和基于password的身份认证协议。
随机应答器模型（Random Oracle Model）
随机应答器模型
安全协议及威胁模型
主要介绍了安全协议的威胁模型及常见的攻击方式。
Out-of-Band(OOB)调研
本文主要针对带外信道（Out-of-Band）的基础概念以及安全分析进行了调研总结，为使用带外信道的协议安全证明提供基础。
BAN和GNY逻辑的区别
本文主要总结常用的BAN和GNY逻辑的区别，后者是前者的改进版本。
Prolog编程学习（一）
最近需要使用prolog实现GNY规则，着手开始学习一下。
GNY逻辑（二）
本节将所有的GNY逻辑记录一下。
GNY逻辑（一）
本系列学习内容为剑桥大学论文《Reasoning about Belief in Cryptographic Protocols》，主要为GNY逻辑，方便日后使用prolog实现。
加载更多
关注
