江西省自然科学基金(2010GZS0150)
- 作品数：3 被引量：10H指数：2
- 相关作者：肖美华马成林邓春艳朱科刘金香更多>>
- 相关机构：华东交通大学南昌理工学院南昌大学更多>>
- 发文基金：江西省自然科学基金国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 基于G^2EM-CI模型的物联网产业集群竞争力研究被引量：4
- 2013年
- 在GEM模型的基础上进行改进,创造了G2EM-CI模型。基于中关村、武汉东湖、无锡新区和南昌高新区的数据,实证分析了影响物联网产业集群竞争力的主要要素和主要因素。
- 钟祥喜肖美华刘金香
- 关键词：物联网产业集群竞争力
- 基于改进GNY逻辑的Kerberos*协议安全性分析被引量：5
- 2014年
- 为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议Kerberos*,结合可识别性和管辖性构造一种新的管辖规则,运用改进GNY逻辑对协议Kerberos*进行安全性分析。分析结果表明,协议Kerberos*是安全的,运用改进GNY逻辑证明过程比改进BAN逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。
- 马成林肖美华邓春艳朱科
- 关键词：网络安全KERBEROS形式化分析
- 基于Spin/Promela的Woo-Lam协议安全性质高效验证被引量：1
- 2014年
- 形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于Promela语言,将P.Maggi和R.Sisto提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam协议为例,运用Spin工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。
- 肖美华程道雷胡磊
- 关键词：形式化方法枚举法
