作者： 丁洁，林志阳，沈荻帆 （海南大学信息科学技术学院）

出处： 科技创新与应用 2016 第10期 P57-58

关键词： 无可信第三方；身份认证；形式化分析

摘要： 以ISO/IEC 11770-2密钥建立机制为例,对无可信第三方的身份认证协议进行研究,进行严格的形式化分析和安全性能分析,发现其在不可否认性方面存在一定的缺陷,并提出了改进的方案,进一步增强了协议的安全性能。

作者： 丁洁，王磊，沈荻帆，周又玲 （海南大学信息学院；海南省特种玻璃重点实验室）

出处： 海南大学学报(自然科学版) 2015 第33卷 第1期 P24-27，33

关键词： 异常检测；相关系数；大数据分析

摘要： 结合电信业务运营系统,针对大数据异常检测问题,提出了基于相关系数的解决方案,构建了大数据异常检测系统,并应用该系统对业务数据进行分析检测.实验结果表明,系统具有较强的可用性和可靠性.