国家自然科学基金(60903054)
- 作品数：3 被引量：11H指数：2
- 相关作者：肖茵茵苏开乐胡若马震远肖统民更多>>
- 相关机构：广东技术师范学院中山大学北京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划广东省高校优秀青年创新人才培养计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 实例化空间逻辑下的SET支付协议验证及改进被引量：4
- 2013年
- 使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支付协议安全性的前提下,使用实例化空间逻辑简化协议的复杂消息,并合理选择协议分支,建立比以往研究更贴近原协议的模型.给出了该模型及其秘密性、认证性在SPV下的形式化描述,并展示验证结果,分析验证效率.针对验证结果中不被满足的认知规范,给出协议的改进方案,解决了持卡人和支付网关之间的认证问题.
- 肖茵茵苏开乐马震远胡若
- 关键词：知识推理自动化验证
- 电子商务支付协议认证性的SVO逻辑验证被引量：7
- 2014年
- 与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑的公理集;在不影响Netbill协议安全性的前提下,为其建立了简化模型;针对协议特点,修正和补充了其验证目标;给出了比之前更合理的协议假设,展示了具体的推理过程,分析了验证结果。结果表明,Netbill协议基本满足认证性。最后对相关研究工作进行了比较。
- 肖茵茵苏开乐
- 关键词：SVO逻辑电子商务支付认证性
- 汽车巡航控制系统的软件设计与仿真
- 2015年
- 基于实际的小车模型,使用PIC16F877A单片机、AH3144霍尔传感器等部件,以C语言为软件编程语言,设计实现了一个汽车电控巡航控制模拟系统.首先对系统总体结构进行介绍,然后详细阐述了系统各功能模块的软件设计方案,并对其软件核心控制策略—增量式PID算法进行改进,最后给出了部分程序示例及仿真调试结果.实验结果表明,改进的增量PID算法使系统响应更快,增加了巡航控制的稳定性,整个系统能较好地满足自动巡航的各项功能需求,具有一定的市场应用价值.
- 肖茵茵肖统民
- 关键词：巡航控制系统增量式PID算法软件设计单片机
