Proverif
关注
分享
扫一扫
文章平均质量分 57
AnWen~
这个作者很懒，什么都没留下…
展开
-
Proverif软件验证修改后的握手协议
(*对称声明*) type key. (*用户定义类型，key是类型名称*) fun senc(bitstring, key): bitstring. (*定义对称加密函数（构造器）fun，定义一个密钥类型`key`，定义了一个对称加密函数`senc`，传入`bitstring`（内置的）原创 2021-10-11 16:50:34 · 341 阅读 · 2 评论 -
Proverif软件验证 握手协议（存在 中间人攻击）
中间人攻击： I→B:pkI I→B:pkI I→B:pkI B→I:aenc(sign((pkB,k),skB),pkI) B→I:aenc(sign((pkB,k),skB),pkI) B→I:aenc(sign((pkB,k),skB),pkI) A→B:pkA A→B:pkA A→B:pkA I→A:aenc(sign((pkB,k),skB),pkA) I→A:aenc(sign((pkB,k),skB),pkA) I→A:aenc(sign((pkB,k),skB),pkA) A→I:senc(原创 2021-10-11 16:48:24 · 575 阅读 · 0 评论