黄秀丽
- 作品数：3 被引量：93H指数：2
- 供职机构：南京邮电大学计算机学院更多>>
- 发文基金：国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于SVO逻辑的云服务安全形式化分析被引量：4
- 2010年
- 云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机制,并对其抽象建模,然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性.
- 陈丹伟黄秀丽孙国梓
- 关键词：云服务形式化分析SVO逻辑
- 云计算及安全分析被引量：88
- 2010年
- 云计算是个新兴的名词,目前对它的定义和内涵还没有公认的界定,许多研究团体对它的研究都处于起始阶段,对云计算体系结构及其安全分析的研究也很少。云计算是一种计算模式,意味着面向服务的体系架构。文中首先对云计算的定义、特征进行了阐述;接着,提出了云计算体系架构,并对其进行了详细阐述;最后,介绍了云计算所面临的安全问题,在此基础上对云计算安全性进行了详细分析,针对云计算所面临的各种问题,给出了相应的安全机制。
- 陈丹伟黄秀丽任勋益
- 关键词：云计算体系结构云计算安全安全架构
- 基于人工神经网络入侵检测模型的探讨被引量：1
- 2009年
- 目前,对ANN IDS的研究,主要集中在ANN算法的改进和具体原型的实现上,而对其模型的探讨则很少。模型研究对IDS发展意义重大,ANN技术在IDS中也具有其它技术不可替代的优越性,因此,对ANN IDS的探讨尤为重要。文中对ANN IDS模型结构、特点及其使用场合均进行了探讨,介绍了IDS模型的现状;阐明了ANN技术在IDS系统中的应用优势和发展;介绍了IDS模型中典型的CIDF,IDES和DIDS模型,并着重分析了三种IDS系统通用模型框架基于ANN技术的实现和应用。
- 陈丹伟黄秀丽任勋益
- 关键词：人工神经网络入侵检测模型异常检测误用检测
