肖庆
- 作品数：11 被引量：9H指数：2
- 供职机构：广西师范大学历史文化与旅游学院更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论文化科学更多>>
- 一种基于Petri网的虚拟机性能分析方法
- 2011年
- 虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用Petri网形式化建模的方法,对虚拟机所需要的加载方案实现形式化建模和评估。使用CPN-Tools工具进行验证结果显示,该方法可以有效地分析虚拟机模型的性质,实现各种加载方案的虚拟机系统的时间和空间量化比较。
- 焦健肖庆王超
- 关键词：PETRI网虚拟机加载器
- 网络服务器管理系统的设计与实现被引量：6
- 2007年
- 介绍SNMP基本原理和基于Web的网络管理相关内容,讨论设计了基于Web方式的网络服务器管理系统的方法。结合广西师范大学校园网服务器管理的具体需求出发,给出网络服务器管理系统的具体设计与实现。系统设计遵循Web浏览器、web服务器(管理端、数据库)和代理方的三层网络模式,系统经试验运行效果良好,能实现对服务器的实时监测和对异常事件的预警处理。
- 彭红艳肖庆梁桂才韦刚
- 关键词：网络管理服务器管理简单网络管理协议WEB
- 基于蜂群算法的移动agent迁移策略研究
- 2010年
- 旅行agent问题是一个复杂的组合优化问题,在于解决保证agent在不同主机间移动时如何根据任务情况规划路线,实现在完成任务时间最短的路线上迁移。采用进化算法的搜索求解具有启发性强、鲁棒性强的特点,但也面临着陷于局部最优解,导致agent在迁移过程中整体任务完成效率降低等问题。提出了一种基于蜂群算法的agent迁移模型,将agent划分为侦察、引领和跟随三种角色,agent通过彼此间的信息互换,在群体迁移的过程中同时实施新路径的发现和调整。实验结果表明,该算法可以很好地实现目标寻径效率,与经典蚁群算法相比,该模型具有消耗时间短、占用主机负载少的优点。
- 肖庆焦健
- 关键词：移动AGENT蜂群算法蚁群算法
- 一种面向应用层目标的网络主动防御系统被引量：1
- 2012年
- 提出一种面向应用层目标的主动防御系统,管理者可以使用以应用层目标为核心的描述语言,体现自身的防御目的.该系统可以在发生网络入侵的情况下,依照网络态势和网管所关注的应用层目标,自动生成网络安全防御方案,并采用多属性决策评估技术对众多方案实现评估优选.实验结果显示:该系统可以快速地实现防御目标到具体方案的转换,同时也可以根据网络中态势变换自动调整防御方案,从众多防御方案中选择较优的结果实施主动防御.
- 肖庆焦健王春平
- 关键词：网络防御系统主动防御多属性决策
- 面向安卓Malware逆向分析用例自动生成的研究
- 2016年
- 文章提出了一种针对安卓恶意代码的逆向分析用例自动生成系统,系统从XML敏感权限分析入手,使用程序切片技术从恶意代码中获取调用序列,再利用逆向用例生成技术获得其对应的用例图,帮助分析人员准确获知代码的真实意图。实验结果表明,该系统对基于安卓的系统恶意代码有较为准确的用例还原效果,使用该系统还可以对安卓恶意代码家族的相似性和演变实施深入分析。
- 焦健肖庆
- 关键词：恶意代码程序切片用例图
- 网络安全策略与措施的语义一致性研究
- 2011年
- 计算机网络安全中以防火墙和入侵检测为代表的安全措施需要由高层策略转换得出。但在转换过程中由于机械规则的影响,策略与措施间语义的内容可能不一致。文中提出了一种用于计算策略到措施的语义度量方法,针对典型的ponder策略建立其语言结构化操作语义模型,规定高层策略到底层措施的转换规则,根据特定网络环境和事件,构造相关的推理引擎,能够自动实现底层措施到高层策略的语义度量。实验结果表明,该方法可以有效地实现策略和底层措施之间的在语义上存在的差异。
- 肖庆焦健
- 关键词：语义一致性
- 口令攻击与口令保护被引量：2
- 2001年
- 口令是信息系统安全重要的防范措施 .首先讨论了口令安全所面临的问题 ,比较分析了多种口令安全保护机制方法 ,然后提出了一种基于伪装的口令保护机制 ,有助于推进口令系统的主动式防御 ,确保网络信息安全 .最后 。
- 肖庆李肖坚蒋建春
- 关键词：口令攻击伪装网络安全口令安全信息安全
- 面向网络利用的移动Agent形式化研究
- 2013年
- 计算机网络利用是计算机网络对抗中信息获取的主要手段,移动代理的引入使得计算机网络利用系统具有更大的自主性。文章提出了一种基于移动Agent的利用体框架,其具备信息和知识的产生功能,可根据预先制定的意图在网络中移动并获取信息;使用Petri网对该框架建模并分析和验证;结果表明该系统满足计算系统的可达、有界和活性等性质,在理论上具备可行性。
- 焦健王春平肖庆
- 关键词：计算机网络对抗移动AGENT有色PETRI网
- 有色Petri网的Android恶意代码建模方法研究
- 2017年
- 针对Android平台的恶意代码分析建模一直是目前移动终端安全的研究重点,对目前常见的恶意代码进行归纳、分类和行为抽取,在对行为进行形式化描述的基础上,提出了一种基于有色Petri网(colored-Petri net,CPN)的恶意代码建模方法,使用该方法能够描述恶意代码从安装、加载到恶意执行的整个过程。最后对恶意软件Bean Bot进行建模,并利用CPN Tools仿真工具分析了模型的可达性和有界性等性质。实验表明该方法可以准确地刻画恶意代码的运行过程,有助于对恶意代码的机制进行深入分析。
- 李登辉焦健陈昕宋亚鹏肖庆
- 关键词：安卓系统恶意代码
- 网络服务器管理系统的设计与实现
- 介绍SNMP基本原理和基于Web的网络管理相关内容,讨论设计了基于Web方式的网络服务器管理系统的方法.结合广西师范大学校园网服务器管理的具体需求出发,给出网络服务器管理系统的具体设计与实现.系统设计遵循Web浏览器,w...
- 彭红艳肖庆梁桂才韦刚
- 关键词：网络服务器网络管理系统设计
- 文献传递
