卢家兴

作品数：5被引量：7H指数：2
导出分析报告
供职机构：江西师范大学计算机信息工程学院更多>>
发文主题：UPPAAL安全性时间自动机攻击代码多态更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《江西师范大学学报（自然科学版）》《计算机与现代化》《通信学报》《计算机应用》更多>>
所获基金：国家重点基础研究发展计划国家自然科学基金江西省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证
《通信学报》2024年第10期225-242,共18页王昌晶 欧阳俊媛 张取发 左正康 程着 卢家兴 
国家自然科学基金资助项目(No.62462037,No.62462036);江西省主要学科学术与技术带头人培养基金资助项目(No.20232BCJ22013);江西省自然科学基金资助项目(No.20242BAB26017);江西省教育厅科技基金资助项目(No.GJJ2200303,No.GJJ210340)。
为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合...
关键词：拍卖合约 时间安全性 公平性 时间自动机 UPPAAL 
基于程序设计竞赛的计算机创新型人才培养探索被引量：2
《教育教学论坛》2023年第24期32-35,共4页曾雪强 卢家兴 吴水秀 
2021年度江西省教学研究重点课题“基于‘一中心三阶段’竞赛驱动的计算机本科生程序设计创新能力培养模式研究”(JXJG-21-2-27);2018年度国家自然科学基金“基于渐进抽样的学习模型选择方法的研究”(61866017)。
创新型人才培养是高等院校应用型本科人才培养的重要目标,鼓励学生参加程序设计竞赛是提高计算机专业学生创新实践能力的有效途径之一。结合近几年江西师范大学计算机信息工程学院程序设计竞赛集训队的实践,探索并提出基于程序设计竞赛...
关键词：创新型人才培养 程序设计竞赛 程序设计能力 实践教学 
一种基于UPPAAL的智能合约属性形式化验证方法被引量：2
《江西师范大学学报（自然科学版）》2023年第1期45-51,共7页张取发 王昌晶 左正康 卢家兴 廖云燕 王渊 
江西省教育厅科技重点课题(GJJ220302,GJJ210307,GJJ2200303,GJJ2200304)资助项目.
针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,...
关键词：智能合约 UPPAAL 时间自动机 安全性 活性 
静态检测多态溢出攻击代码的方法被引量：3
《计算机应用》2010年第A12期3349-3353,共5页卢家兴 郭帆 余敏 
国家973前期研究专项基金资助项目(2007CB316505)
设计并实现了一套静态检测多态溢出攻击代码的方法,首先应用抽象执行思想构造控制流图,使用符号执行方法并结合Taint分析来检测攻击载荷,最后识别指定长度的填充字段来辅助检测。实验结果表明,该方法可准确识别网络数据中的多态溢出攻...
关键词：溢出攻击代码 多态 抽象执行 符号执行 无操作指令序列 
PAR方法在组合游戏上的应用
《计算机与现代化》2004年第9期1-4,共4页卢家兴 李云清 
江西省教育厅科技项目资助。
简述了薛锦云教授所创的PAR方法和组合游戏(Nim)之后,本文运用PAR方法详细推演出解决组合游戏中的一个典型例子(Nim)的算法的数学模型。在此数学模型的基础之上,再次运用PAR方法推演出解决Nim的简短的核心算法。
关键词：PAR方法 组合游戏 数学模型 Nim 递推关系 算法设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部