信息安全
文章平均质量分 72
努力成长的小张
恐惧源于未知
展开
-
安全协议相关笔记
本文简要记录了《密码协议分析的逻辑方法》的一些笔记。...原创 2021-09-12 20:36:32 · 135 阅读 · 0 评论 -
密码协议分类总结
主要总结身份认证协议的分类及介绍。重点问题是怎样区分基于ID和基于password的身份认证协议。原创 2021-09-08 15:24:48 · 2349 阅读 · 1 评论 -
随机应答器模型(Random Oracle Model)
随机应答器模型原创 2021-09-06 10:49:28 · 503 阅读 · 0 评论 -
安全协议及威胁模型
主要介绍了安全协议的威胁模型及常见的攻击方式。原创 2021-08-29 21:27:45 · 1445 阅读 · 0 评论 -
Out-of-Band(OOB)调研
本文主要针对带外信道(Out-of-Band)的基础概念以及安全分析进行了调研总结,为使用带外信道的协议安全证明提供基础。原创 2021-08-29 20:47:31 · 761 阅读 · 0 评论 -
BAN和GNY逻辑的区别
本文主要总结常用的BAN和GNY逻辑的区别,后者是前者的改进版本。原创 2021-06-30 14:44:09 · 760 阅读 · 2 评论 -
Prolog编程学习(一)
最近需要使用prolog实现GNY规则,着手开始学习一下。原创 2021-06-10 09:24:11 · 903 阅读 · 0 评论 -
GNY逻辑(二)
本节将所有的GNY逻辑记录一下。原创 2021-06-07 11:32:37 · 609 阅读 · 0 评论 -
GNY逻辑(一)
本系列学习内容为剑桥大学论文《Reasoning about Belief in Cryptographic Protocols》,主要为GNY逻辑,方便日后使用prolog实现。原创 2021-06-06 15:52:08 · 890 阅读 · 0 评论 -
安全规约(二)
本篇为安全规约(一)的第二次学习记录,接着第4章开始。原创 2021-06-04 16:17:44 · 624 阅读 · 1 评论 -
安全规约(一)
本系列为《Introduction to Security Reduction》的学习笔记。同样的,我在阅读时更多的会关注公钥密码学相关的知识,因此对于数字签名等其他密码学相关的内容读者可以自己在书中进行查阅。原创 2021-06-01 20:47:00 · 1829 阅读 · 1 评论 -
现代密码学(三)
Chapter 111.公钥加密公钥加密相较于私钥加密的优势(1)通信各方在通信前不需要秘密共享密钥;(2)单个接收器可以同时和多个发送者通信,在私钥体系下,双方共享的密钥只能在双方通信之间使用。公钥加密的缺点和私钥加密相比,公钥加密要慢2到3个数量级。因此,在智能卡或者射频识别(RFID)标签中实现公钥加密可能比较困难。2.公钥的安全分发CPA-security(防止选择明文攻击安全),任何确定性的加密方案都不是CPA安全的。3.LR-oracle experiment4.CCA原创 2021-05-30 16:28:14 · 742 阅读 · 0 评论 -
现代密码学(二)
今天主要学习的内容就是公钥(非对称)加密。Chapter 8原创 2021-05-21 17:32:45 · 155 阅读 · 0 评论 -
现代密码学(一)
新开的专栏为《Introduction to modern cryptography》的学习笔记。由于目前主要的研究内容为公钥密码学,因此会先学习大体介绍然后直接跳入到公钥密码学的学习,至于其他的内容,如果有空余时间也会更新上来。原创 2021-05-20 16:55:54 · 647 阅读 · 2 评论