您的位置: 专家智库 > >

宋亚鹏

作品数:4 被引量:7H指数:1
供职机构:北京信息科技大学计算机学院更多>>
发文基金:国家自然科学基金国家科技支撑计划北京市优秀人才培养资助更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇LTE-A
  • 2篇CPN
  • 1篇代码
  • 1篇颜色PETR...
  • 1篇有色PETR...
  • 1篇认证与密钥协...
  • 1篇认证与密钥协...
  • 1篇切换
  • 1篇着色
  • 1篇网络切换
  • 1篇协商协议
  • 1篇密钥协商
  • 1篇密钥协商协议
  • 1篇恶意
  • 1篇恶意代码
  • 1篇安全协议
  • 1篇安卓系统
  • 1篇MTC
  • 1篇NETWOR...
  • 1篇SDN

机构

  • 4篇北京信息科技...
  • 1篇广西师范大学

作者

  • 4篇陈昕
  • 4篇宋亚鹏
  • 2篇刘志强
  • 1篇肖庆
  • 1篇焦健
  • 1篇李登辉

传媒

  • 1篇电子学报
  • 1篇小型微型计算...
  • 1篇计算机科学
  • 1篇计算机科学与...

年份

  • 3篇2017
  • 1篇2016
4 条 记 录,以下是 1-4
排序方式:
面向LTE-A的切换认证安全协议应用研究被引量:1
2017年
LTE-A网络现已成为移动应用的主要传输管道,但LTE-A标准中的切换过程仍存在一定的复杂性和安全缺陷.为了解决LTE-A标准和传统切换认证的缺陷,本文设计了一种基于身份的切换认证方案.在用户注册阶段,通过基于身份的加密体制来保障用户身份信息不被泄漏;在切换认证阶段,采用新的基于身份的密钥协商协议,相比传统基于身份的密钥协商协议,该协议无需双线性对运算,大大减小了计算开销和通信开销,本文在该协议的基础上加以改进,使得更加适用于LTE-A网络.相比其它方案,本方案不仅具有更好的性能,而且满足前向保密性及防重放攻击等安全性.本文运用着色Petri网进行建模和仿真分析,仿真结果表明,本协议是有效的,且具有更高的安全性.
刘志强陈昕宋亚鹏
关键词:LTE-APETRI网
一种新型的LTE-A网络切换认证协议被引量:6
2017年
针对典型蜂窝网络LTE-A网络的切换认证问题,本文通过引入SDN(Software Defined Network,软件定义网络),提出了软件定义LTE-A异构网络架构,在中心控制器中共享UE(User Equipment,用户设备)的安全上下文信息,以实现简化切换认证过程,提高认证效率的目标.中心控制器的加入,使蜂窝与核心网通信时需要增加一次信令开销,而LTE-A网络的标准切换认证方法过于复杂,应用在软件定义LTE-A异构网络中,会产生较多的信令开销.基于代理签名的切换认证方法,使UE在验证身份时不用经过核心网,减少了信令开销.在安全性相同的情况下,基于椭圆曲线的加密体系比基于RSA的加密体系计算量更小,有利于减少中心控制器的计算压力.本文采用椭圆曲线代理签名方法,提出了一种新型的切换认证协议,并运用着色Petri网进行建模和仿真分析.仿真结果表明,该协议是有效的,且安全性更高.
陈昕宋亚鹏刘志强
关键词:LTE-A
EGAKA:一种面向LTE-A机器类型通信的高效组认证与密钥协商协议
2016年
机器类型通信(Machine Type Communication,MTC)作为物联网的基础,有着广阔的市场和应用前景。LTE-A网络能够为MTC的发展提供有力的支持,第三代合作伙伴项目(3rd Generation Partnership Project,3GPP)已经在3GPP标准Release10中正式定义了MTC。与普通的移动用户设备相比,MTC设备具有数量多、功耗低的特点,这给LTE-A网络的身份认证问题提出了新的挑战。当大量MTC设备同时接入网络时,如果每个设备都进行独立的身份认证过程,则会导致LTE-A网络出现严重的信令拥塞问题。同时,MTC设备由于计算资源有限,不宜做大量的运算。针对MTC网络中设备认证过程的信令拥塞问题,提出了基于聚合代理签名和消息认证码的组认证与密钥协商协议EGAKA。该协议采用聚合代理签名使得LTE-A网络可以同时验证多个MTC设备,并最小化认证过程中的信令开销。采用消息认证码的方法进行密钥协商,有利于降低MTC设备的计算开销。通过着色Petri网(Colored Petri Nets,CPN)的建模和分析,证明该协议能够正确完成认证和密钥协商。另外,通过在性能方面与文中引用的协议比较,证明该协议在信令开销和计算开销方面具有一定优势。
宋亚鹏陈昕
关键词:LTE-AMTC密钥协商CPN
有色Petri网的Android恶意代码建模方法研究
2017年
针对Android平台的恶意代码分析建模一直是目前移动终端安全的研究重点,对目前常见的恶意代码进行归纳、分类和行为抽取,在对行为进行形式化描述的基础上,提出了一种基于有色Petri网(colored-Petri net,CPN)的恶意代码建模方法,使用该方法能够描述恶意代码从安装、加载到恶意执行的整个过程。最后对恶意软件Bean Bot进行建模,并利用CPN Tools仿真工具分析了模型的可达性和有界性等性质。实验表明该方法可以准确地刻画恶意代码的运行过程,有助于对恶意代码的机制进行深入分析。
李登辉焦健陈昕宋亚鹏肖庆
关键词:安卓系统恶意代码
共1页<1>
聚类工具0