卢家兴
- 作品数：6 被引量：9H指数：2
- 供职机构：江西师范大学计算机信息工程学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 3N+1猜想在流密码上的应用研究
- 3N+1猜想作为世界性的数学难题,被广泛研究.从耶鲁大学教授到普通中学生,从理论数学家的纸上演算到计算机科学家的网上分布式验证,对此问题的研究可谓方兴未艾.密码学作为信息安全领域的重要内容不容置疑.随着Internet的...
- 卢家兴
- 关键词：3N+1猜想密码学流密码数据压缩
- 文献传递
- PAR方法在组合游戏上的应用被引量：1
- 2004年
- 简述了薛锦云教授所创的PAR方法和组合游戏(Nim)之后,本文运用PAR方法详细推演出解决组合游戏中的一个典型例子(Nim)的算法的数学模型。在此数学模型的基础之上,再次运用PAR方法推演出解决Nim的简短的核心算法。
- 卢家兴李云清
- 关键词：PAR方法数学模型递推关系
- 基于程序设计竞赛的计算机创新型人才培养探索被引量：2
- 2023年
- 创新型人才培养是高等院校应用型本科人才培养的重要目标,鼓励学生参加程序设计竞赛是提高计算机专业学生创新实践能力的有效途径之一。结合近几年江西师范大学计算机信息工程学院程序设计竞赛集训队的实践,探索并提出基于程序设计竞赛的创新型人才培养新模式,采用三级分队方式进行队员管理,以教练指导与队员以老带新相互结合的模式组织日常训练,通过各项竞赛实战强化提高队员的程序设计水平。新模式在创新型人才培养的实践中取得了良好的效果,江西师范大学在近年的各大程序设计竞赛中取得了优异成绩。
- 曾雪强卢家兴吴水秀
- 关键词：创新型人才培养程序设计竞赛程序设计能力实践教学
- 基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证
- 2024年
- 为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合约源代码机制,建立智能合约机制模型,同样转换为时间自动机网络模型,并对4种公平性进行形式化描述,再用UPPAAL验证。最后,通过2个经典案例证明了所提方法的可行性和有效性。
- 王昌晶欧阳俊媛张取发左正康程着卢家兴
- 关键词：时间自动机UPPAAL
- 一种基于UPPAAL的智能合约属性形式化验证方法被引量：2
- 2023年
- 针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.
- 张取发王昌晶左正康左正康卢家兴廖云燕
- 关键词：UPPAAL时间自动机安全性活性
- 静态检测多态溢出攻击代码的方法被引量：3
- 2010年
- 设计并实现了一套静态检测多态溢出攻击代码的方法,首先应用抽象执行思想构造控制流图,使用符号执行方法并结合Taint分析来检测攻击载荷,最后识别指定长度的填充字段来辅助检测。实验结果表明,该方法可准确识别网络数据中的多态溢出攻击代码。
- 卢家兴郭帆余敏
- 关键词：多态
