想咨询一下ProVerif的pi演算的一个bug。

nonce_to_bitstring(nonce) 这个函数的功能我没太搞懂 他应该就是把数字转换成比特串吧
但是有的示例里同时对多个数据加解密,nonce类就不用加这个函数
但是单独对一个nonce数据加密的话是不是就要用这个转换一下加密的那个nonce
而且对语言的一些语法我也有点一知半解 想寻找一个了解过这方面知识的人交流一下

http://www.lwfree.cn/jisuanjilunwen/20180809/21080.html