江西省科技计划项目(20123BBE50106)
- 作品数：2 被引量：0H指数：0
- 相关作者：罗敏方琳更多>>
- 相关机构：江西省计算技术研究所江西警察学院更多>>
- 发文基金：江西省科技计划项目更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 形成期中部地区物联网技术接受与应用研究
- 2013年
- 物联网技术与产业的发展靠大规模的应用。形成期中部地区物联网技术接受模型显示,物联网技术接受的影响因素包括感知安全、感知隐私、感知收益、感知成本、兼容性、便利条件以及感知有用性和感知易用性。基于上述影响因素,提出了四条建议:大力降低信息资费,加强信息基础设施建设;避免重复建设,降低感知成本,提升感知收益;培养懂物联网技术、管理和应用的复合型人才;增强物联网技术的有用性和易用性。
- 罗敏
- 关键词：形成期物联网技术
- 基于小系统理论的简化SET协议
- 2014年
- 基于Lu&Smolka的SET协议支付过程简化模型,在小系统理论的基础上,运用Promela语言对协议进行形式化建模,采用线性时态逻辑LTL公式对协议的认证性进行形式化描述。在网络环境被入侵者控制的假设下,运用SPIN发现攻击;采用atomic和Bit-state hashing等优化策略,降低模型检测的复杂性,提高验证效率;最后针对协议存在的漏洞提出协议改进方案。
- 罗敏方琳施炜利
- 关键词：SET协议SPIN认证性
