基于串空间理论的安全协议自动验证

针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检验测试元素参数一致性、确认变换进行边唯一存在性和检验目标串参数一致性,将基于串空间理论的协议验证过程标准化为可程序实现的步骤。该算法的时间复杂度为O(n2),避免了模型检测方法的状态空间爆炸问题,并在此基础上实现了安全协议认证属性的自动化验证工具。以BAN-Yahalom协议和TLS 1.0握手协议为例进行了标准化的分析验证,找到了对BAN-Yahalom协议的一种新攻击形式。该攻击无需限制服务器对随机数的检查,比Syverson发现的攻击更具普遍性。

羊群效应的异质性研究——基于财务因子与非线性结构的面板实证

羊群效应是我国股票市场长期存在的一种现象,对此研究有助于风险管理、促进金融理论与实践有效结合。本文基于噪声交易理论和Fama三因子理论构造多个平行的资产组合的面板数据,实现了对羊群效应的更精准、稳健的检验。研究发现:羊群效应的非线性特征与多市场共振有关,并验证财务因子对羊群效应有抑制作用。本文的创新点是:(1)将投资者异质性引入对羊群效应的研究;(2)创新性地通过面板数据对羊群效应进行实证,其检验方法具有更高的稳健性,规避了传统研究人为划分样本时间区间等不严格的方法。本文的研究成果不仅丰富了金融市场风险管理理论,也为倡导理性投资提供了实证依据。