协议验证
文章平均质量分 57
AnWen~
这个作者很懒,什么都没留下…
展开
-
Proverif软件验证修改后的握手协议
(*对称声明*)type key. (*用户定义类型,key是类型名称*)fun senc(bitstring, key): bitstring. (*定义对称加密函数(构造器)fun,定义一个密钥类型`key`,定义了一个对称加密函数`senc`,传入`bitstring`(内置的)原创 2021-10-11 16:50:34 · 247 阅读 · 2 评论 -
Proverif软件验证 握手协议(存在 中间人攻击)
中间人攻击:I→B:pkII→B:pkII→B:pkIB→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:pkAA→B:pkAA→B:pkAI→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 · 487 阅读 · 0 评论