电子商务协议的形式化分析理论与应用2008.01谢晓尧, 著 密码协议形式化分析2006.09王亚弟等, 编著 网络协议的形式化分析与设计2003.04古天龙, 编 安全协议形式化分析与验证2019.10肖美华, 著 网络安全协议的形式化分析与验证2010.3李建华, 主编 电子商务理论与实务2015.2《电子商务理论与实务》编写组, 编 电子商务案例分析2011.11《电子商务案例分析》编写组, 编 电子商务理论与应用2019.7丁明华, 著 电子商务理论与应用2018.11梅燕, 蒋雨清, 王振宇, 编著 电子商务中的认证协议研究2017.8舒剑, 著 电子商务领域事件语义形式化描写研究2015.11高精鍊, 著 电子商务理论与应用2010.7芮廷先, 主编 电子商务交易协议理论与验证方法2009.11王茜, 著 电子商务交易协议理论研究2007.06刘文远, 著 电子商务案例分析2004.08才书训, 主编