国家自然科学基金(61163005)

作品数：17被引量：55H指数：5
导出分析报告
相关作者：肖美华石永革李伟钟祥喜马成林更多>>
相关机构：华东交通大学南昌大学中国电信股份有限公司赣南师范大学更多>>
相关期刊：《计算机与数字工程》《电信科学》《科学技术与工程》《Chinese Journal of Electronics》更多>>
相关主题：物联网SPINOAUTH形式化方法个性化推荐算法更多>>
相关领域：自动化与计算机技术电子电信经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Formal Analysis and Improvement on Ultralightweight Mutual Authentication Protocols of RFID被引量：3
《Chinese Journal of Electronics》2019年第5期1025-1032,共8页XIAO Meihua LI Wei ZHONG Xiaomei YANG Ke CHEN Jia 
supported by the National Natural Science Foundation of China(No.61163005,No.61562026);the Natural Science Foundation of Jiangxi Province(No.20161BAB202063);the Major Academic and Technical Leaders Foundation of Jiangxi Province(No.20172BCB22015);the Jiangxi Province Graduate Special Fund Project(No.YC2018-S261);the Science and Technology Project of Jiangxi Provincial Education Department(No.GJJ170384)
Ultralightweight mutual authentication protocols (UMAP) of Radio frequency identification (RFID) systems have attracted much attention from researchers. Many studies reveal that most of UMAP suffer malicious attack. T...
关键词：UMAP RCIA RAPP KEY synchroniza-tion PATCHING SCHEME Model CHECKING 
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析被引量：5
《计算机研究与发展》2019年第6期1275-1289,共15页肖美华 李娅楠 宋佳雯 王西忠 李伟 钟小妹 
国家自然科学基金项目(61163005,61562026);江西省自然科学基金项目(20161BAB202063);江西省主要学科学术和技术带头人资助计划项目(20172BCB22015)~~
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换...
关键词：事件类 事件逻辑理论 置换规则 强认证性质 WMN客户端与LTCA认证协议 通用性 
Formal Analysis and Verification of Oauth 2.0 Protocol Improved by Key Cryptosystems被引量：2
《Chinese Journal of Electronics》2017年第3期477-484,共8页XIAO Meihua CHENG Daolei LI Wei LI Ya'nan LIU Xinqian MEI Yingtian 
supported by the National Natural Science Foundation of China(No.61163005,No.61562026);the Natural Science Foundation of Jiangxi Province of China(No.20132BAB201033,No.20161BAB202063);the Science and Technology College in Jiangxi Province Ground Project(No.KJLD13038);the Co-Innovation Center of the Intelligent Management and Equipment for Orchard on the Hilly Land in South China,the Foreign Science and Technology Cooperation Project of Jiangxi Province(No.20151BDH80005);the Project of Soft Science Research Project of Jiangxi Province(No.20151BBA10042)
The reasons which take huge losses to enterprises and users are:Open authorization(OAuth)2.0protocol is excessively dependent on Hyper text transfer protocol over secure socket layer(HTTPS)to transmit data and ignores...
关键词：OAutb 2.0 protocol Model checking Public key system Private key signature Program enumeration. 
函数优化问题的动态并行量子遗传算法被引量：2
《青岛科技大学学报（自然科学版）》2017年第1期109-115,共7页马胡双 石永革 
国家自然科学基金项目(61163005)
针对传统量子遗传算法在解复杂连续函数优化中存在的早熟收敛、收敛速度慢、计算时间长的问题,提出一种解复杂连续函数优化问题的动态并行量子遗传算法(DPQGA)。采用多种群协同进化,每个子种群按照各自的进化目标在不同的搜索区域进化,...
关键词：复杂连续函数优化 量子遗传算法 动态调整旋转角 协同进化 
基于对话内容的交互型文本会话主题挖掘被引量：1
《电信科学》2016年第9期139-145,共7页彭杰 石永革 高胜保 
国家自然科学基金资助项目(No.61163005);江西省科技计划基金资助项目(No.2014ZBBE50008)~~
传统的主题挖掘模型一般仅从交互型文本中挖掘出文档主题,为了能够从中挖掘出会话主题并提高挖掘模型的普适性,提出了一种基于对话内容的交互型文本会话主题生成模型。首先通过分析交互型文本的特征,基于主题树的概念,定义了一个5层结...
关键词：交互型文本 对话内容 会话主题挖掘 对话生成树 LDA 
一种基于条件相对平均熵的个性化推荐算法
《河北大学学报（自然科学版）》2016年第4期438-443,共6页吴柳 陈萌 石永革 
国家自然科学基金资助项目(61163005)
为了提高现有推荐算法的准确性,提出一种基于条件相对平均熵的个性化推荐算法.首先,采用加权的CNM算法构建复杂网络,挖掘该网络的社团结构,作为商品待推荐域;其次,利用条件互信息和条件相对平均熵生成有效的节点次序,以提升贝叶斯网络...
关键词：条件相对平均熵 个性化推荐 消费性格 社团结构 
基于特征增益与多级优化的协同过滤个性化推荐算法被引量：5
《科学技术与工程》2016年第21期272-277,共6页马胡双 石永革 高胜保 
国家自然科学基金(61163005);江西省科技计划项目(2014ZBBE50008)资助
基于混合策略个性化推荐的思想,为进一步提升业务套餐型产品的个性化推荐的准确性,提出了基于特征增益与多级优化的协同过滤推荐算法(FACCF);其中融合了消费数据的时域特征、空域特征、消费倾向以及套餐特征。该算法首先基于客户的时域...
关键词：业务套餐推荐 协同过滤 特征增益 多级优化 概率主题模型 
基于BPM-BM过滤优化的近似字符串匹配算法被引量：1
《青岛科技大学学报（自然科学版）》2016年第1期108-112,共5页石永革 张毫 
国家自然科学基金项目(61163005)
BPM-BM算法结合位并行和过滤技术,是当前近似字符串匹配算法中效率最高的算法之一。算法中过滤机制容易导致位并行计算连续性中断,使位并行计算回溯导致性能大幅降低。针对此问题提出了基于过滤优化的BPM-BM算法。实验结果表明:优化算...
关键词：近似字符串匹配 BPM-BM算法 位并行 过滤 
运用SPIN对开放授权协议OAuth 2.0的分析与验证被引量：3
《计算机工程与科学》2015年第11期2121-2127,共7页程道雷 肖美华 刘欣倩 梅映天 李伟 
国家自然科学基金资助项目(61163005);计算机软件新技术国家重点实验室开放课题资助项目(KFKT2012B18);江西省自然科学基金资助项目(20132BAB201033);江西省高校科技落地计划项目(KJLD13038);江西省对外科技合作技术资助项目(20151BDH80005);华东交通大学研究生创新计划资助项目(YC2014-X007)
OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据...
关键词：OAUTH 2.0协议 信息泄露 公钥加密体系 模型检测 
基于事件逻辑的改进Needham-Schroeder协议安全性证明被引量：4
《计算机工程与科学》2015年第10期1850-1855,共6页刘欣倩 肖美华 程道雷 梅映天 李伟 
国家自然科学基金资助项目(61163005);计算机软件新技术国家重点实验室开放课题资助项目(KFKT2012B18);江西省自然科学基金资助项目(20132BAB201033);江西省高校科技落地计划资助项目(KJLD13038);江西省对外科技合作技术资助项目(20151BDH80005);华东交通大学研究生创新计划资助项目(YC2014-X007)
安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名...
关键词：事件逻辑 改进的Needham-Schroeder协议 形式化方法 强认证性理论 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部