罗敏

作品数：19被引量：42H指数：4
导出分析报告
供职机构：江西省计算技术研究所更多>>
发文主题：安全协议形式化方法RFID形式化分析逻辑推理更多>>
发文领域：自动化与计算机技术交通运输工程经济管理更多>>
发文期刊：《计算机工程与应用》《江西科学》《传感技术学报》《计算机与现代化》更多>>
所获基金：江西省科技计划项目国家自然科学基金江西省自然科学基金国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
交叉口车流量多时段控制信息的传感融合技术被引量：1
《传感技术学报》2023年第4期629-634,共6页胡凡玮 罗敏 叶黎楠 姜如霞 万渟钰 
国家级自然科学基金项目(7192126306)。
交叉口车流量随机性与不确定性导致车辆信息采集结果的差异化明显。以传感器信息融合为技术支撑,提出交叉口车流量多时段控制方法。利用多传感器采集交叉口交通信息,预处理采集到的数据。采用由指标层与目标层构成的信息融合模型,完成...
关键词：交叉口车流量 多时段控制 传感融合技术 排队长度 改进萤火虫算法 
基于模型检测的区块链智能合约公平性形式化验证被引量：8
《华东交通大学学报》2021年第3期52-60,共9页肖美华 周浩洋 朱志亮 罗敏 
国家自然科学基金(61962020,61562026);江西省主要学科学术和技术带头人资助计划(20172BCB22015);江西省研究生创新专项基金(YC2019-S251);江西省青年科学基金资助项目(20202BAAL212006)。
随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题。但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出...
关键词：智能合约 形式化方法 模型检测 交易顺序依赖漏洞 
基于PUF的安全协议研究被引量：2
《江西科学》2019年第5期762-770,共9页罗敏 宋佳雯 戴欢 
江西省重点研发计划项目(20192BBEL50037)
随着物联网的发展,传统的身份验证协议逐渐显现出弊端,无论是从成本方面还是安全性方面它们都不适合资源受限的物联网设备。而物理不可克隆函数(PUF)作为一种极具前景的新型硬件安全原语,已经成为在这些系统中构建安全协议的一种日益流...
关键词：物理不可克隆函数(PUF) 安全协议 身份认证 射频识别(RFID) 信息安全 
运用SPSS和Matlab研究啮齿动物群落稳定性
《计算机与现代化》2017年第6期116-121,共6页罗敏 李昌友 戴欢 
江西省科技计划项目(20151BBE50081)
对西北某荒漠地区啮齿动物的群落稳定性进行分析研究。通过建立GM(1,1)数学模型,辅以SPSS统计分析,预测啮齿动物在不同的干扰条件下各自的数量变化趋势;采用神经网络算法,结合Matlab模拟仿真,分析啮齿动物群落多样性受外界干扰的影响程...
关键词：GM(1 1)数学模型 SPSS 干扰 神经网络算法 稳定性 
基于J2EE的节能监管系统被引量：3
《计算机与现代化》2016年第11期104-108,113,共6页戴欢 罗敏 刘波平 张俊民 
江西省科技计划项目(20151BBE50081)
针对目前企事业单位能源消耗较快,节能意识不强的特点,本文根据企事业单位的用电、用水和燃油等能源的消耗现状,通过分析某企事业单位的管理需求,设计开发一套节能监管系统。以目前较为成熟的企业级应用开发标准J2EE为基础,应用MVC框架...
关键词：J2EE 节能监管 HIBERNATE MVC B/S 
基于小系统理论的简化SET协议
《计算机与现代化》2014年第12期97-102,共6页罗敏 方琳 施炜利 
江西省科技计划项目(20123BBE50106)
基于Lu&Smolka的SET协议支付过程简化模型,在小系统理论的基础上,运用Promela语言对协议进行形式化建模,采用线性时态逻辑LTL公式对协议的认证性进行形式化描述。在网络环境被入侵者控制的假设下,运用SPIN发现攻击;采用atomic和Bit-stat...
关键词：小系统理论 SET协议 模型检测 SPIN 认证性 
形成期中部地区物联网技术接受与应用研究
《企业经济》2013年第10期106-110,共5页罗敏 
江西省科技计划项目"网络Socket通信软件可靠性自动检测系统"(批准号:20123BBE50106)
物联网技术与产业的发展靠大规模的应用。形成期中部地区物联网技术接受模型显示,物联网技术接受的影响因素包括感知安全、感知隐私、感知收益、感知成本、兼容性、便利条件以及感知有用性和感知易用性。基于上述影响因素,提出了四条建...
关键词：形成期 中部 物联网技术 接受 应用 
基于SOA架构的口岸电子闸口系统的设计与实现被引量：7
《计算机与现代化》2012年第12期161-163,167,共4页陈琪 罗敏 杨国强 
针对当前软件系统开发中业务需求的多变性和复杂性,引入面向服务体系结构(SOA)的框架设计,并结合一个口岸电子闸口系统实例,介绍业务流程执行引擎的结构,详细说明用SOA的架构设计,使该口岸电子闸口系统具备良好的系统扩展延伸条件。
关键词：SOA WEB SERVICES MQ通信 报文 
基于RFID的食品安全监测追溯系统的设计被引量：2
《计算机与现代化》2012年第5期157-160,共4页罗敏 韩慧敏 何瑞赣 黄利勇 张嗣忠 
海南省科技厅重点科技计划项目(090306)
采用无线射频识别技术(Radio Frequency Identification,RFID)、无线数据通信技术(GPRS)、网络技术及数据库技术等,构建食品安全监测追溯系统。该系统可以对食品从生产养殖、出场、流通批发到零售环节等进行全过程跟踪、追溯,实现食品...
关键词：食品 追溯系统 无线射频识别技术 
基于笔式交互的农产品信息采集系统的研究与设计被引量：6
《计算机与现代化》2012年第4期71-75,78,共6页姚鑫 罗敏 杨国强 
国家"十一五"科技支撑重点项目(2009BADC4B00)
在传统的农产品信息采集与发布过程中用户通常只能使用人工采集,之后二次录入计算机的方式,造成了资源的浪费;采用基于WIMP交互范式的界面软件分散了用户的注意力,给用户带来认知负担。针对此问题,本文基于笔式交互技术中的PGIS交互范式...
关键词：笔式交互 笔式电子表单 信息采集与发布 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部