肖茵茵

作品数：14被引量：30H指数：3
导出分析报告
供职机构：广东技术师范学院计算机科学学院更多>>
发文主题：实例化安全协议验证认证性有界模型检测自动化验证更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机学报》《计算机工程与应用》《小型微型计算机系统》《移动通信》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划广东省自然科学基金国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
移动通信模式下压缩感知视频检测技术及其目标重构被引量：1
《移动通信》2017年第11期44-51,共8页詹瑾 赵慧民 傅仁轩 肖茵茵 李春英 林智勇 
国家自然科学基金(No.61672008;No.61571141);广东省自然科学基金(No.2016A030311013;No.2015A030313672);广东省应用型科技研发专项项目(No.2016B010127006;No.2015B010131017);广东省教育厅国际科技合作项目(No.2015KGJHZ021);广东省科技计划项目(No.2014A010103032)
为了解决移动通信视频监控的目标追踪问题,提出一种新的空间域视频压缩感知模型,该模型首先通过测量矩阵获取视频少量样本值,然后通过该样本值同时重构运动目标、背景和视频序列,最后通过视频序列估计得到一个置信图,可以进一步提高目...
关键词：压缩感知 视频检测 目标重构 鲁棒性 
协议组合逻辑在实例化空间模型中的语义解释
《广东技术师范学院学报》2016年第2期8-19,共12页肖茵茵 苏开乐 
国家自然科学基金(60903054;61379019);国家"973"重点基础研究发展计划资助项目(2010CB328103);中国博士后科学基金面上项目(2013M540704);广东高校优秀青年创新人才培育项目(LYM11085;LYM11084)资助
安全协议的验证是个不可判问题.为了对实例化空间逻辑ISL的语义表达能力给出理论上的衡量与评价,选择另一种实用的协议组合逻辑PCL,分析了ISL和PCL之间的关系.在此基础上,将PCL的索状空间语义模型转换为ISL的实例化空间语义模型,在实例...
关键词：安全协议验证 实例化空间 协议组合逻辑 索状空间 语义解释 
汽车巡航控制系统的软件设计与仿真
《汕头大学学报（自然科学版）》2015年第1期71-80,共10页肖茵茵 肖统民 
国家自然科学基金资助项目(60903054);广东省高校优秀青年创新人才培育项目(LYM11085;LYM11084)
基于实际的小车模型,使用PIC16F877A单片机、AH3144霍尔传感器等部件,以C语言为软件编程语言,设计实现了一个汽车电控巡航控制模拟系统.首先对系统总体结构进行介绍,然后详细阐述了系统各功能模块的软件设计方案,并对其软件核心控制策...
关键词：巡航控制系统 增量式PID算法 软件设计 单片机 
电子商务支付协议认证性的SVO逻辑验证被引量：7
《计算机工程与应用》2014年第8期6-10,共5页肖茵茵 苏开乐 
国家自然科学基金(No.60903054);国家重点基础研究发展规划(973)(No.2010CB328103);广东高校优秀青年创新人才培育项目(No.LYM11085;No.LYM11084)
与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑...
关键词：SVO逻辑 电子商务支付 Netbill协议 认证性 
实例化空间逻辑下的SET支付协议验证及改进被引量：4
《华中科技大学学报（自然科学版）》2013年第7期97-102,共6页肖茵茵 苏开乐 马震远 胡若 
国家杰出青年科学基金资助项目(60725207);国家重点基础研究发展计划资助项目(2010CB328103);国家自然科学基金资助项目(60903054);广东省高校优秀青年创新人才培育项目(LYM11085;LYM11084)
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支...
关键词：知识推理 安全电子交易支付协议 形式化方法 实例化空间逻辑 自动化验证 
基于贝叶斯网的飞机维护实训教学专家系统
《广东技术师范学院学报》2012年第3期21-24,共4页吕惠子 肖茵茵 马震远 沈金星 
广东高校优秀青年创新人才培育项目(No.LYM11084;LYM11085)
针对飞机维护实训教学中教学硬件资源少、知识关联性强、检修方案不唯一、学生难以掌握的特点,引入基于贝叶斯网的知识表达和不确定性推理原理,设计并实现了飞机维护实训教学专家系统.与一般基于规则的专家系统相比,本系统利用先验概率...
关键词：专家系统 飞机维护 贝叶斯决策 故障诊断 
有界模型检测和串空间模型相结合的安全协议验证
《小型微型计算机系统》2010年第8期1484-1488,共5页杨晋吉 苏开乐 肖茵茵 李超明 
国家杰出青年基金项目(60725207)资助;国家“九七三”重点基础研究发展计划项目(2010CB328103)资助;广东省自然科学基金项目(06023195)资助;广东省科技计划攻关项目(2007B010400068)资助
提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,...
关键词：有界模型检测 串空间 协议 验证 NUSMV 
有界模型检测的优化被引量：10
《软件学报》2009年第8期2005-2014,共10页杨晋吉 苏开乐 骆翔宇 林瀚 肖茵茵 
国家杰出青年基金No.60725207;国家自然科学基金Nos.60473004;60763004;广东省自然科学基金No.06023195;广东省科技攻关项目No.2007B010400068~~
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-...
关键词：模型检测 有界模型检测 可满足性问题 模态算子 递推公式 
SET证书申请协议在SPV下的自动化验证及改进被引量：3
《计算机学报》2008年第6期1035-1045,共11页肖茵茵 苏开乐 岳伟亚 陈清亮 吕关锋 杨晋吉 
国家“九七三”重点基础研究发展规划项目基金(2005CB321902);国家自然科学基金(60496327,10410638,60473004);广东省自然科学基金(06023195);广东省自然科学基金团队项目(04205407)资助~~
基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPS...
关键词：SET证书申请协议 自动化验证 SPV 认证性 秘密性 
基于单片机控制的自动停车收费管理系统被引量：2
《现代计算机》2007年第5期67-69,共3页肖统民 陈锦珊 肖茵茵 
介绍基于89C51单片机的一款临时停车场自动停车收费管理系统,该系统采用比传统停车计费方式更优越的红外线检测计费方式,可以实现自动计费,实时查询、显示停车场状况,打印数据,自动开启关闭车场大门以及随时更改收费标准等功能。该系统...
关键词：单片机控制 89C51 红外线检测 停车收费管理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部