马亚南
- 作品数：7 被引量：8H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于偏序归约的状态空间约简算法被引量：3
- 2012年
- 目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法。两种算法思想简单,易于实现。实例表明,这两种算法有效地约简了安全协议的状态空间。
- 马亚南刘楠陈晶宁祝跃飞
- 关键词：逆序
- 安全协议分析方法及装置
- 本发明公开了一种安全协议分析方法及装置，其中，安全协议分析方法主要包括：对安全协议进行初始化，应用后继产生算法，产生后继状态，并判断该后继状态是否为不安全状态，如果是不安全状态，则给出从初始状态到该状态的路径；如果否，则...
- 刘楠祝跃飞颜学雄康绯陈晨马亚南
- Cisco IOS内存管理及其脆弱性分析被引量：3
- 2011年
- 通过研究Cisco路由器中嵌入式操作系统IOS的内存布局、管理策略、保护机制,并进行内存管理脆弱性测试,证明IOS在分配回收策略及内存块保护机制上存在脆弱性,针对其在内存管理策略与存储保护机制方面的安全风险,提出诸如增加校验及完整性保护等防范措施,以确保路由器的安全。
- 胡宗立祝跃飞马亚南韩玉祥
- 关键词：CISCO路由器内存管理双向链表缓冲区溢出磁盘碎片
- 安全协议状态空间的束动作偏序约简算法被引量：1
- 2011年
- 目前安全协议分析的偏序归约算法较为复杂、不易实现,限制了其适用范围,且以动作为基础,粒度较小,对减少状态空间的作用有限。针对该问题提出了一种束动作偏序约简算法,将同一会话中的动作序列看做一个束动作,根据攻击者截获的消息与攻击者知识集间的关系,判断迹等价的束动作迁移所到达的后继状态是否为冗余节点,以约简状态空间。该算法思想简单、易于实现;实例表明它有效地约简了安全协议的状态空间。
- 马亚南刘楠祝跃飞胡宗立
- 关键词：安全协议
- 安全协议分析方法及装置
- 本申请公开了一种安全协议分析方法及装置，其中，安全协议分析方法主要包括：对安全协议进行初始化，应用后继产生算法，产生后继状态，并判断该后继状态是否为不安全状态，如果是不安全状态，则给出从初始状态到该状态的路径；如果否，则...
- 刘楠祝跃飞颜学雄康绯陈晨马亚南
- 文献传递
- 基于偏序归约的安全协议状态空间约简技术研究
- 本文概要介绍了状态空间约简技术的研究现状,并针对安全协议状态空间中存在的冗余结点问题,对偏序归约技术进行了分析与研究,提出了三种状态空间约简算法,实现了对安全协议形式化自动分析系统SPFA (Security Proto...
- 马亚南
- 关键词：安全协议逆序
- 文献传递
- 基于WMI技术的进程静音模型研究被引量：1
- 2012年
- 进程运行时需要占用系统的资源,会在一定程度上增加系统的负载,传统进程隐藏技术无法控制进程对资源的利用,不利于进程的隐藏。提出了一个基于Windows管理规范(WMI)的进程静音运行的模型,在此模型的指导下,依据当前系统负载情况和进程所占资源可以动态调控进程下一时刻对资源的利用,很好地克服了系统负载突增时对用户的影响,提高进程的隐蔽性,也使得资源得到了充分的利用。
- 陈晶宁康绯马亚南王军博
