李娅楠

作品数：7被引量：42H指数：5
导出分析报告
供职机构：华东交通大学软件学院更多>>
发文主题：形式化方法经济增长物流业物流产业发展物联网环境更多>>
发文领域：自动化与计算机技术经济管理电子电信更多>>
发文期刊：《计算机研究与发展》《计算机工程与应用》《计算机科学与探索》《计算机工程与科学》更多>>
所获基金：江西省自然科学基金国家自然科学基金江西省软科学研究计划江西省对外科技合作项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析被引量：5
《计算机研究与发展》2019年第6期1275-1289,共15页肖美华 李娅楠 宋佳雯 王西忠 李伟 钟小妹 
国家自然科学基金项目(61163005,61562026);江西省自然科学基金项目(20161BAB202063);江西省主要学科学术和技术带头人资助计划项目(20172BCB22015)~~
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换...
关键词：事件类 事件逻辑理论 置换规则 强认证性质 WMN客户端与LTCA认证协议 通用性 
RFID超轻量级认证协议RCIA形式化分析与改进被引量：6
《计算机工程与科学》2018年第12期2183-2192,共10页钟小妹 肖美华 李伟 谌佳 李娅楠 
国家自然科学基金(61163005;61562026);江西省主要学科学术与技术带头人项目(2017XSDTR0105);江西省自然科学基金(20161BAB202063);江西省教育厅科技项目(GJJ170384)
无线射频识别(RFID)是物联网中的一种非接触式的自动识别技术,被广泛运用于构建物物互联的RFID系统。RCIA是一种超轻量级RFID双向认证协议,提供高安全性并声称能抵御去同步攻击。形式化方法是安全协议分析的有力手段。运用模型检测工具S...
关键词：RFID RCIA协议 形式化方法 模型检测 去同步攻击 
基于云PACS系统的DICOM协议安全通信框架被引量：11
《计算机工程与应用》2018年第7期107-113,共7页肖美华 李伟 李娅楠 梅映天 
国家自然科学基金(No.61562026);江西省自然科学基金(No.20161BAB2020063);江西省对外科技合作计划(No.20151BDH80005)
传统的PACS系统存储和维护海量医疗影像数据成本高昂,且经由DICOM协议传输的影像数据容易遭到黑客攻击,造成数据被非法篡取、病人隐私泄露等数据安全性问题。提出一种PACS云服务模型以满足数据存储、维护、安全传输等需求。设计的统一...
关键词：云影像归档和通信系统(PACS) DICOM协议安全 USBKey身份认证 SSL身份认证 
基于事件逻辑的无线Mesh网络认证协议安全性证明被引量：6
《计算机工程与科学》2017年第12期2236-2244,共9页李娅楠 肖美华 李伟 梅映天 钟小妹 
国家自然科学基金(61562026);江西省自然科学基金(20161BAB202063);江西省对外科技合作项目(20151BDH80005);江西省主要学科学术和技术带头人资助计划(2017BCB22015)
无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络,无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装等攻击。事件逻辑是一种描述并发与分布式系统中状态迁移和算法的形式化方法,可用于证明网络协议的安全...
关键词：形式化方法 事件逻辑 无线Mesh网络认证协议 中间人攻击 
基于时间戳私钥签名技术的Nayak-T协议安全性分析
《计算机工程与科学》2017年第12期2252-2259,共8页肖美华 梅映天 李伟 李娅楠 钟小妹 宋子繁 
国家自然科学基金(61163005;61562026);江西省自然科学基金(20161BAB202063);江西省对外科技合作项目(20151BDH80005);江西省主要学科学术和技术带头人资助计划(2017BCB22015)
随着信息网络的快速发展,云服务走进人们视野,云环境下信息安全问题成为人们关注的焦点。Nayak协议是一种云环境下基于口令身份认证,实现双向认证和会话密钥交换的协议。针对Nayak协议存在的中间人攻击,提出改进协议Nayak-T。Nayak-T协...
关键词：Nayak协议 Nayak—T协议 模型检测 私钥签名 时间戳 
物联网环境下物流产业发展关联分析及对策研究——以江西省为例被引量：13
《企业经济》2017年第4期167-173,共7页肖美华 李娅楠 李伟 
江西省软科学研究计划项目"江西物联网产业发展及提高产业竞争力的策略研究"(项目编号:20151BBA10042)
随着信息技术深入应用于社会经济发展,我国物流业总体步入转型的新阶段。基于物联网技术的智能物流不仅能够促进物流园区信息化水平提高,还为提升物流园区流通能力以及物流园区转型升级和长远发展提供有利条件。江西省物流业处于成长期...
关键词：物联网 物流业 经济增长 
基于强认证理论的三方网络协议安全性证明被引量：4
《计算机科学与探索》2016年第12期1701-1710,共10页肖美华 刘欣倩 李娅楠 程道雷 梅映天 
国家自然科学基金Nos.61163005;61562026;江西省自然科学基金Nos.20132BAB201033;20161BAB202063;江西省对外科技合作技术项目No.20151BDH80005;江西省软科学研究计划项目No.20151BBA10042;江西省高校科技落地计划项目No.KJLD13038;南方山地果园智能化管理与装备协同创新中心资助项目;江西省普通本科高校中青年教师发展计划访问学者专项资金~~
形式化方法是分析网络安全协议的一种重要方法,网络协议安全性也是信息安全领域的研究热点。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于证明网络安全协议的安全性。以事件逻辑为基础,定义强匹配及匹配会话,结合事件逻辑...
关键词：形式化方法 事件逻辑 强认证理论 Neuman-Stubblebine协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部