肖美华
- 作品数：92 被引量：240H指数：8
- 供职机构：华东交通大学更多>>
- 发文基金：江西省自然科学基金国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术经济管理电子电信理学更多>>
- 安全协议验证模型的高效自动生成被引量：4
- 2010年
- 为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。
- 吴昌肖美华罗敏刘俏威熊昊
- 关键词：安全协议
- 基于SD的云计算信息化的演进分析及后续问题探析被引量：2
- 2012年
- 通过使用系统动力学的分析方法,详细地分析了传统信息化方式的资金、协同管理、计算处理能力、地区差异等瓶颈问题,进而分析云计算突破上述瓶颈的途径,最后探析了云计算产生的诸如安全、可用性、可靠性、法律缺失以及商业模式不清晰等相关问题。
- 肖美华钟祥喜
- 关键词：SD云计算信息化
- 基于G^2EM-CI模型的物联网产业集群竞争力研究被引量：4
- 2013年
- 在GEM模型的基础上进行改进,创造了G2EM-CI模型。基于中关村、武汉东湖、无锡新区和南昌高新区的数据,实证分析了影响物联网产业集群竞争力的主要要素和主要因素。
- 钟祥喜肖美华刘金香
- 关键词：物联网产业集群竞争力
- 政府上网工程刍议被引量：3
- 1999年
- 论述了我国ＩＴ业中的一个热点——政府上网工程，分析了政府上网的现状和难点，并提出了一些针对性的建议。
- 谢军肖美华
- 关键词：INTERNET网政府上网办公自动化
- 基于模型检测技术的网络安全协议形式化分析研究
- 形式化方法是提高软件系统，特别是safety-critical系统的安全性与可靠性的重要手段。模型检测是一种针对并发系统的自动分析与验证技术，以其简洁明了和自动化程度高而引人注目。密码协议目前已广泛应用于计算机网络与并发...
- 肖美华薛锦云
- 关键词：网络安全协议形式化方法网络安全密码协议
- 文献传递
- UNITY与典型程序设计模型的比较
- 2003年
- UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略。
- 肖美华薛锦云化志章
- 关键词：程序设计模型
- 基于Spin/Promela的Woo-Lam协议安全性质高效验证
- 化方法是分析验证安全协议的重要技术之一.模型检测是用在形式化方法中实现形式化自动验证的重要手段.基于Promela语言,将P.Maggi和R.Sisto提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举...
- 肖美华程道雷胡磊
- 关键词：计算机网络形式化方法安全性质
- 网络认证协议攻击的非形式化分析被引量：4
- 2006年
- 随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法。
- 李静肖美华
- 关键词：密码协议
- 基于本体的网络设备脆弱性知识库构建
- 2022年
- 针对网络设备脆弱性分析与预测,提出一种基于本体的网络设备脆弱性知识库构建方法。该方法将知识库构建分为3个部分:基于通用缺陷列表(CWE)构建网络设备脆弱性本体,形成脆弱性领域语义知识;为解决网络设备脆弱性数据获取难度大的问题,设计开发并发爬虫工具,高效构建网络设备脆弱性数据库;为提升关联规则挖掘效果,借助脆弱性领域语义知识,将构建的脆弱性数据库中、低层级脆弱性提升为高层级脆弱性,提高项集支持度,采用Apriori算法挖掘网络设备和脆弱性之间的关联规则。实验结果表明:构建的网络设备脆弱性知识库中包含更多网络设备和脆弱性关联规则,根据关联规则可对网络设备脆弱性进行有效分析与预测。
- 宋子繁肖美华钟逸洲罗敏
- 关键词：本体关联规则挖掘
- 一种样本相似度抑制的大尺度三维人脸合成系统
- 本发明公开了一种样本相似度抑制的大尺度三维人脸合成系统，包括：三维扫描设备，用于获取三维人脸模型及其点云数据；第一处理模块，用于对所获取的三维人脸模型及其点云数据进行预处理；第二处理模块，用于进行人脸三维模型的合成，得到...
- 罗国亮陈强王睿肖美华杨辉肖乾陈梦成黄晓生
- 文献传递
