机构名称：
¥ 2.0
6 K r←钥匙； （7！i≤noenc（x [i]：clearText）：=让z [i] = eng（x [i]，k）返回（z [i]）| 8！i'≤n'odec（y：ciphertext）：= 9如果定义（损坏），则返回（dec（y，k））else 10 else 10查找j≤nsidthat定义（x [j]，z [j]，z [j]）∧z [j]）= y 11 = y 11 then return（x [j]） 12 ocorrupt（）：=让腐败= true返回（k））
处理Cryptoverif
主要关键词
相关文件推荐
