题目：电子商务协议建模、分析和风险预警模型研究

电子商务协议设计建模、分析方法和预警研究已成为国内外研究的热点和难点，是一个快速发展且非常复杂的领域，其核心内容是通过形式化协议设计、分析和预警建模方法确保电子商务具有良好的安全机制。主要创新有如下几个方面： （一）电子商务协商协议的Petri网形式化描述和基于INEPN (Intelligent Neural Extended Petri Nets, INEPN)电子商务自动智能协商模型。 我们详细、系统地分析电子商务协议的需求和目前研究存在的问题，通过对不同形式化方法和模型进行比较分析，提出采用Petri网进行形式化描述电子商务协商模型，构建了改进Petri网和竞争性神经网络混合算法的INEPN模型，并在其基础上建立了电子商务自动智能协商模型，数字算例表明算法具有较好的收敛性，验证了模型的有效性和适用性，为有信誉机制和商品推荐情况下的协商模型提供了理论基础。 （二）对3D安全协议的改进思路及其应用研究。 通过系统的比较电子商务协议和主流安全策略等特点、安全电子商务协议形式化方法，定义了安全电子商务协议的安全属性和安全目标，归纳出安全电子商务协议设计原则和一般性理论框架，结合文献[70, 79]中提出的对隐私保护的概念模型，提出基于隐私保护和集成安全工作流等的3D安全协议改进方法，并将改进的协议应用于跨行跨国的网上银行转帐模型之中。最后，在可信第三方条件下研究电子商务审计模式相关问题。 （三）基于协议分析的安全电子商务协议模糊熵风险评价模型。 采用非线性状态空间理论对电子商务系统建模，提出基于协议分析的电子商务协议模糊熵(Fuzzy Entropy Model, FEM)风险评价模型。给出了电子商务建模方法和模型的具体计算步骤，并提供数字算例及分析，结果表明模型的有效性。 （四）安全电子商务协议SIDHMM(Strand based Input Driven Hidden Markov Model, SIDHMM)预警模型。 在对Chris Karlof & David Wagner提出的IDHMM模型中引入多输入和一种高效的推导算法之后，建立了在电子商务协议的模型校验为分析基础上的SIDHMM电子商务风险预警模型。SIDHMM的多输入和多迹更为贴近电子商务系统状态转移的实际情况，其高效算法使得计算复杂度大大降低，从而使得电子商务系统预警识别状态可以计算。以本文提出的改进3D安全协议示例计算过程，并与文献[169]采用Casper/FDR2分析3D安全协议的结果进行对比，本文认为改进的3D安全协议在测试条件下基本满足和实现了其安全属性。SIDHMM模型对于电子商务风险预警识别具有理论创新意义，同时对电子商务协议验证具有应用价值。 （五）电子商务小波支持向量机风险预警模型。 提出了基于认证测试的数据基础之上进行数据约简和发现算法的小波支持向量机(Wavelet Support Vector Machine, WSVM)电子商务风险预警模型，这对电子商务风险预警识别具有一定的工程应用价值。并采用粗糙集对原始数据进行约简和比较分析，表明WSVM更为适用，且具有满足动态海量数据计算、良好的收敛特性、一定的外推能力、预警准确度相对较高等优点。 （六）基于人工免疫算法的电子商务风险预警模型和主动防御策略。 设计了一种免疫克隆算法用于求解电子商务风险预警识别问题，提出基于该算法的电子商务风险预警模型。在克隆选择免疫算法中，对于权重和阈值的编码方案采用二进制编码，相似度计算采用欧式距离方法，免疫选择采用模拟退火规则，引入抗体循环补充机制等，使得我们设计的免疫克隆算法更适合于工程计算，以更高的概率搜寻到更优的抗体，具备了较强的局部寻优能力，增强了其全局寻优能力。算例表明，该算法能够在较短的时间内快速地收敛到全局最优解，可在一定精度下快速收敛。最后给出电子商务人工免疫主动防御策略及实现框架，使得相关研究进一步深入，且具有一定的系统性。 （七）国防型号产品研制项目风险预警实证研究。 选取XX国防型号产品研制项目的风险预警识别作为实证案例，对比分析了小波支持向量机、二项Logistic模型、自回归综合移动平均法(ARIMA)和自适应指数平滑法等的风险预警识别计算结果及各自特点，其中受试者工作特征ROC(Receiver Operating Characteristic)曲线下面积为0.817，高于上述其他三种方法的值，渐进显著性水平也低于0.05，从而验证了WSVM模型的相对有效性和适用性。实证结果表明我们提出的小波支持向量机方法在项目风险预警应用中具有一定的实际价值。 总之，本文提出并验证了一些新的电子商务协议、协商模型等，在协议分析的基础之上研究了电子商务风险评价和预警识别等问题，并对安全电子商务协议主动防御机制等作了一些有益的尝试与探讨。设计更有效的风险预警识别算法和研究具有自适应主动防御机制电子商务协议的实现等，是下一步研究的主要内容。