Page 348 - 《软件学报》2021年第6期

1922 Journal of Software 软件学报 Vol.32, No.6, June 2021

[31] Saikrishna B, Yael TK, Dakshita K, Amit S, Daniel W. Succinct delegation for low-space non-deterministic computation. In: Proc.
of the STOC. 2018. 709−721.
[32] Gentry C, Peikert C, Vaikuntana V. Trapdoors for hard lattices and new cryptographic constructions. In: Proc. of the STOC. 2008.
197−206.

附中文参考文献:
[2] 薛锐,吴迎,刘牧华,张良峰,章睿.可验证计算研究进展.中国科学:信息科学,2015,45(11):1370−1388.
[11] 田有亮,马建峰,彭长根,姬文江.秘密共享体制的博弈论分析.电子学报,2011,39(12):2790−2795.
[18] 尹鑫,田有亮,王海龙.公平理性委托计算协议.软件学报,2018,29(7):1953−1962. http://www.jos.org.cn/1000-9825/5362.htm [doi:
10.13328/j.cnki.jos.005362]
[19] 田有亮,李秋贤,张铎,王琳杰.可证明安全的理性委托计算协议.通信学报,2019,40(7):135−143.

冯能先(1994－),女,硕士,主要研究领域为 田有亮(1982－),男,博士,教授,博士生导
密码学,理性密码协议. 师,CCF 专业会员,主要研究领域为博弈
论,密码学与安全协议,大数据隐私保护.