胡宗立
- 作品数：2 被引量：4H指数：1
- 供职机构：解放军信息工程大学信息工程学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自然科学总论自动化与计算机技术更多>>
- 安全协议状态空间的束动作偏序约简算法被引量：1
- 2011年
- 目前安全协议分析的偏序归约算法较为复杂、不易实现,限制了其适用范围,且以动作为基础,粒度较小,对减少状态空间的作用有限。针对该问题提出了一种束动作偏序约简算法,将同一会话中的动作序列看做一个束动作,根据攻击者截获的消息与攻击者知识集间的关系,判断迹等价的束动作迁移所到达的后继状态是否为冗余节点,以约简状态空间。该算法思想简单、易于实现;实例表明它有效地约简了安全协议的状态空间。
- 马亚南刘楠祝跃飞胡宗立
- 关键词：安全协议
- Cisco IOS内存管理及其脆弱性分析被引量：3
- 2011年
- 通过研究Cisco路由器中嵌入式操作系统IOS的内存布局、管理策略、保护机制,并进行内存管理脆弱性测试,证明IOS在分配回收策略及内存块保护机制上存在脆弱性,针对其在内存管理策略与存储保护机制方面的安全风险,提出诸如增加校验及完整性保护等防范措施,以确保路由器的安全。
- 胡宗立祝跃飞马亚南韩玉祥
- 关键词：CISCO路由器内存管理双向链表缓冲区溢出磁盘碎片
