proverif定义密码学算法汇总

 

时间：2022/09/11

说明：本文章是汇总自己在阅读proverif相关代码的时候对其中一些定义的密码学算法所进行的汇总

 

一. 级联

来源：https://github.com/purseclab/btmodel_proverif/blob/main/model/ssp.pv

(* Concatenation helper functions *)
fun concat(bitstring, bitstring): bitstring.
fun first_part(bitstring): bitstring.
fun last_part(bitstring): bitstring.
equation forall b1: bitstring, b2: bitstring; first_part(concat(b1, b2)) = b1.
equation forall b1: bitstring, b2: bitstring; last_part(concat(b1, b2)) = b2.