陈晶宁
- 作品数:3 被引量:5H指数:1
- 供职机构:解放军信息工程大学更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于偏序归约的状态空间约简算法被引量:3
- 2012年
- 目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法。两种算法思想简单,易于实现。实例表明,这两种算法有效地约简了安全协议的状态空间。
- 马亚南刘楠陈晶宁祝跃飞
- 关键词:逆序
- 网络实体IP地理定位方法研究
- 网络实体IP地理定位是指确定一个具有IP标识的网络目标节点在某个粒度层次的地理位置。开展IP定位方法的研究,推进IP定位技术的实用化,对定向广告、云服务持续性和监管、敏感网络实体甄别、网络欺诈和攻击等非法行为的网络取证等...
- 陈晶宁
- 关键词:计算机网络IP定位拓扑分析
- 文献传递
- 基于WMI技术的进程静音模型研究被引量:1
- 2012年
- 进程运行时需要占用系统的资源,会在一定程度上增加系统的负载,传统进程隐藏技术无法控制进程对资源的利用,不利于进程的隐藏。提出了一个基于Windows管理规范(WMI)的进程静音运行的模型,在此模型的指导下,依据当前系统负载情况和进程所占资源可以动态调控进程下一时刻对资源的利用,很好地克服了系统负载突增时对用户的影响,提高进程的隐蔽性,也使得资源得到了充分的利用。
- 陈晶宁康绯马亚南王军博