程莹
- 作品数：5 被引量：3H指数：1
- 供职机构：南昌大学更多>>
- 发文基金：江西省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 新余钢铁集团有限公司的企业文化建设研究
- 企业文化是当今社会企业的软实力，也是一种肉眼看不见的资产，与资本金、岗位技术、人才资源等硬实力共同构成了企业核心竞争力。随着市场竞争越来越激烈，企业都能意识到企业文化的重要性，有助于企业文化的建设，使企业的文化凝聚力、引...
- 程莹
- 关键词：文化建设核心价值观
- 文献传递
- 基于SPIN的SSL3.0握手协议模型检测被引量：1
- 2010年
- 文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
- 程莹康汶
- 关键词：SPINPROMELALTL
- 基于SPIN的SSL 3.0握手协议模型检测
- 文章介绍了密钥交换协议SSL 3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
- 程莹康汶
- 关键词：密钥交换
- 文献传递
- Otway-Rees协议的分析及改进被引量：1
- 2010年
- 通过对Otway-Rees这一密钥交换协议进行协议漏洞分析,本文给出协议本身存在的4种攻击,探讨一种改进方法,从而有效地改善协议的安全性及秘密性。
- 程莹肖美华
- 关键词：BAN逻辑密钥交换
- 网络安全协议的模型检测分析及验证系统
- 随着计算机时代的迅猛发展,分析网络的安全性相当重要。保证安全协议的安全性及秘密性已是网络安全领域的最热门话题之一。安全协议自身的缺陷给网络安全造成了巨大的威胁,为了确保网络中传输的信息及数据不被篡改或丢失,必须对协议进行...
- 程莹
- 关键词：网络安全协议
