王昕

作品数:5被引量:10H指数:2
导出分析报告
供职机构:北京邮电大学更多>>
发文主题:安全协议移动通信BAN逻辑形式化分析方法形式化分析更多>>
发文领域:自动化与计算机技术电子电信经济管理文化科学更多>>
发文期刊:《北京邮电大学学报》《计算机工程》《电信软科学研究》《现代电子技术》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-5
视图:
排序:
基于滑动窗口机制的RFID自同步可扩展所有权变更协议被引量:3
《北京邮电大学学报》2013年第5期30-35,共6页王昕 袁超伟 黄晨 
针对可扩展射频标签(RFID)认证鉴权子协议P1存储代价与寻签查找效率的矛盾和密钥更新子协议P2的非同步攻击缺陷,提出了一种改进的RFID轻量级、可扩展、自同步所有权变更协议(LSDARP).该协议采用滑动窗口机制,仅存储和维护标签新旧相邻...
关键词:所有权变更 可扩展性 非同步攻击 射频标签协议 
一种安全协议的形式化分析方法被引量:7
《计算机工程》2010年第7期82-83,86,共3页王昕 袁超伟 
对快速、高效的形式化分析安全协议进行研究,提出"信任域"的概念。采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观。该方法直接分析协议参与主体的信任域,简化分析过程和步骤。实验结果表明,与传统方法相比,该方法更...
关键词:形式化分析 安全协议 BAN逻辑 NSSK协议 
一种基于多应用智能卡的MMB-CAS支付模型
《现代电子技术》2008年第23期139-141,共3页郑江东 邓中亮 陈庆方 王昕 
针对如何在移动多媒体广播条件接收系统(MMB-CAS)中实现电子支付功能,提出了一种基于多应用智能卡的卡内多应用模型及系统支付模型,对模型的关键技术及系统的安全性进行了研究,给出系统支付流程,该模型通过合理设计卡内解密、解扰及电...
关键词:多应用 智能卡 条件接收 支付 模型 
移动泛在网络的安全体系结构
《通信世界》2007年第40期58-58,共1页贾晓芸 袁超伟 王昕 罗守山 
当前无线接入技术、终端技术、网络技术和业务平台技术方面正向着异构化、多样化和泛在化的趋势发展。移动泛在网络具有开放、灵活、可管理、移动的网络构架特点,因此其安全问题将比以往的移动通信系统更复杂。
关键词:泛在网络 安全体系结构 移动通信系统 无线接入技术 终端技术 网络加密 平台技术 数据完整性 会话密 
试论移动通信价格战的根源与对策
《电信软科学研究》2004年第9期35-41,共7页王昕 李晓华 
价格战是市场竞争中的常见现象,在我国快速发展的移动通信市场上,价格战更是愈演愈烈,尤其是小灵通加入移动市场角逐后,价格战更是全面升级,在部分地区几乎失控。当前,各方要求制止价格战的呼声日益高涨,移动通信价格战的危害何...
关键词:价格战 移动市场 对策 移动通信市场 根源 市场竞争 快速发展 小灵通 升级 失控 
检索报告 对象比较 聚类工具 使用帮助 返回顶部