李肖坚 作品数:88 被引量:197 H指数:8 供职机构: 广西师范大学 更多>> 发文基金: 国家重点基础研究发展计划 北京市教育委员会共建项目 北京教育委员会共建项目建设计划基金 更多>> 相关领域: 自动化与计算机技术 文化科学 军事 经济管理 更多>>
分布交互仿真中的可靠组播 被引量:5 2001年 分布交互仿真的特殊性要求网络通讯能提供具有实时性的可靠组播服务。本文在讨论了国内外关于可靠组播的主要研究成果基础上,提出了一种基于IP的实时可靠组播算法。该算法在保证组播通讯数据的可靠性基础上,重点考虑了实时性。 吕良权 李鹏 李肖坚关键词:组播 分布式交互仿真 可靠性 实时性 基于共享存储的OpenStack虚拟机应用分发策略 被引量:2 2019年 云计算是21世纪互联网的发展趋势之一,在实验和生产环境中被广泛应用。云平台的服务可以以虚拟机的形式提供。为了提供用户需求的服务,需要在交付虚拟机之前或在提供服务的过程中对虚拟机进行按需定制的应用部署。OpenStack是开源云平台的典型代表,针对OpenStack平台,研究如何高效、稳定地对虚拟机进行应用部署,对提高云服务质量具有借鉴意义。文章分析了OpenStack平台中虚拟机应用部署的特点,结合内容分发网络思想,提出了以计算节点内部的共享存储为基础的OpenStack平台虚拟机应用分发策略,并通过仿真实验验证了这一策略的有效性。 王紫璇 吕良双 李肖坚 王天博关键词:云计算 OPENSTACK 共享存储 内容分发网络 情报信息自组织消息传递的设计与实现 2010年 针对在非结构化情报信息对等网中,当若干节点失效时,消息传递性能将会降低等问题,提出一种基于对等通信的自组织消息传递协议规则。引入具有自组织特性的蚁群寻径算法,算法采用动态调整局部路径上的信息素策略,根据迭代过程自适应路由选择,使对等体获得寻径局部最优解,实现自组织消息传递。算法时间复杂度的分析以及自组织性能测试的仿真实验表明,该算法有效且切实可行,能达到预期效果。 周佳骏 汪婷婷 韦刚 李肖坚关键词:蚁群算法 情报信息 自组织 基于带权策略的蠕虫智能扩散 2010年 运用带权策略树建模方法,给出一种蠕虫智能扩散模型,描述蠕虫"智能"扩散的本质特征和执行过程,解决一般蠕虫不能感知目标环境及其改变,从而不能选择有效的扩散策略问题。针对该模型提出基于堆遍历的蠕虫智能扩散算法。分析和仿真实验结果表明,该模型能够灵活描述和实现较为普遍的扩散,具有较高的扩散效率。 周佳骏 王峰 马瑞兴 李肖坚关键词:带权 蠕虫 堆排序 计算机网络防御策略描述语言研究 被引量:17 2009年 定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的方法分析并验证了策略的完备性、一致性和有效性.CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性.最后给出了策略引擎的原型及其实现.在GTNetS仿真平台中的实验表明,该语言能够自动地转化为具体的技术规则并实现其表达的防御效能. 夏春和 魏玉娣 李肖坚 王海泉 何巍关键词:计算机网络防御 描述语言 一种面向攻击树建模的描述语言 被引量:4 2007年 目前网络安全仿真研究中存在缺乏攻击建模方法以及统一描述的问题,因此在采用攻击树建立攻击模型,描述攻击企图、特征和步骤执行过程的基础上,提出一种攻击描述语言CNADL(Computer Network Attack Description Language).攻击树用于对攻击进行建模,并转化为自动机模型.CNADL采用上下文无关文法,用统一的形式描述攻击的目的、方法和步骤,由解释器生成相应操作的命令交付攻击演练系统执行.利用基于GTNetS仿真平台的攻击演练系统对CNADL进行实验验证.结果表明,该语言能有效地刻画攻击特征,结合仿真平台,实现了拒绝服务、蠕虫、口令窃取和IP欺骗4种攻击仿真. 唐淑君 李肖坚 屠守中 韦刚关键词:计算机网络攻击 攻击描述语言 攻击树 一种针对802.11b协议省电模式的攻击方法 针对IEEE802.11b协议省电模式,存在攻击者冒充工作在活跃模式的STA通知AP将进入省电模式,致使发往STA的信息被AP缓存并过期丢弃的攻击方法.基于802.11b的基础设施模式,分析MAC子层正常协议流程和功率管... 闫建丽 李肖坚 赵欣关键词:省电模式 功率管理 文献传递 面向可生存性的移动Ad Hoc网络仿真系统 本发明公开了一种面向可生存性的移动Ad Hoc网络仿真系统,包括有移动AdHoc网络配置模块(11)、配置文件解析模块(12)、移动Ad Hoc网络仿真模块(21)、结果收集模块(31)、攻击事件配置模块(1)、故障事件... 夏春和 周远 李肖坚 姚珊 戚建中文献传递 计算机网络防御策略模型 被引量:20 2008年 目前计算机网络防御研究中缺乏高层且易于细化的策略建模方法,因此在分析Or-BAC模型(Organization Based Access Control model)的基础上,对网络防御控制行为进行抽象,建立计算机网络防御策略模型(CNDPM,Computer Network Defense Policy Model).该模型对保护、检测和响应等策略进行统一建模,并引入角色、视图、活动自动分配的方法,以提高分配的效率,同时给出了策略到规则的推导规则,以细化为具体的防御规则.还给出了策略的完备性、有效性和一致性的形式化描述及分析.实例分析表明,该模型表示的计算机网络防御策略,能够有效地转化为防御规则,具有较好的实用性和扩展性. 夏春和 魏玉娣 李肖坚 何巍公平的多方不可否认协议 被引量:4 2005年 电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。论文通过分析当前已发表的多方协议或方案,指出当前多方不可否认协议存在由于发送方占优势导致的不公平问题,并提出了基于双重组加密方法的多方不可否认协议,进一步削弱了发送方的优势。最后用SVO逻辑的形式化分析方法证明了协议的正确性。 何冰 李肖坚 夏春和 夏克俭关键词:形式化分析