求多个数的最大公约数的算法设计

在求两个数的最大公约数算法的基础上,研究了求多个数的最大公约数的算法,并利用C语言实现了枚举法、辗转相除法和更相减损术三种算法的程序设计。

安全多方计算在解决销售量问题中的研究

提出了一个销售量问题:不同的厂家有不同的商品,他们想知道相同商品在市场上的销售总量,但各自都不透露自己的私有数据。同时提出了一个解决销售量问题的协议,并且在半诚实模型下对协议的安全性和计算复杂度及通信复杂度进行了分析。

基于BAN逻辑的YAHALOM协议的形式化分析研究

BAN逻辑[1]简洁、直观,易于使用,是一款非常优秀的形式化分析工具。它能够帮助我们分析、设计及验证各种安全协议。文中介绍了BAN逻辑的产生、构建及分析步骤,并用BAN逻辑形式化分析了YAHALOM协议[2]的安全性。