朱创营

作品数：4被引量：7H指数：1
导出分析报告
供职机构：桂林电子科技大学更多>>
发文主题：AL语义WEBC-分组密码BÜCHI自动机更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《智能系统学报》《电子学报》《计算机科学》更多>>
所获基金：国家自然科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
含有合取查询的时态描述逻辑ALC-LTL模型检测被引量：1
《智能系统学报》2014年第6期714-722,共9页朱创营 常亮 徐周波 李凤英 
国家自然科学基金资助项目(61363030;61262030;61100025);广西自然科学基金资助项目(2012GXNSFBA053169;2012GXNSFAA053220);广西可信软件重点实验室研究课题资助项目(KX201109)
时态描述逻辑ALC-LTL在命题线性时态逻辑LTL中引入了描述逻辑ALC的刻画能力,可以对语义Web环境下动态系统的时序特征进行刻画。该文在ALC-LTL中进一步引入合取查询,增强ALC-LTL公式的描述能力,并在此基础上给出了含有合取查询的时态描...
关键词：线性时态描述逻辑 模型检测 合取查询 语义WEB 
对分组密码的形式化函数分析及其应用被引量：1
《电子学报》2013年第11期2314-2316,共3页彭昌勇 朱创营 黄莉 祝跃飞 王靳辉 
郑州市科技创新团队项目(No.10CXTD150)
本文给出了分组密码的新的分析方法:形式化函数分析,即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击.对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加...
关键词：形式化函数分析 形式化编码方法 鲁班锁分组密码 符号计算 中间相遇攻击 分组密码 
基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测被引量：2
《计算机科学》2013年第10期166-171,共6页朱创营 常亮 徐周波 李凤英 
国家自然科学基金(61363030;61100025;61262030);广西自然科学基金(2012GXNSFBA053169;2012GXNSFAA053220)资助
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画。为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了时态描述逻辑的模型检测问题。一方面,使用时态描述逻辑ALC-LT...
关键词：线性时态描述逻辑 模型检测 标记büchi自动机 ALC-类 乘积自动机 判空问题 语义WEB 
扩展的代数侧信道攻击及其应用被引量：4
《电子学报》2013年第5期859-864,共6页彭昌勇 朱创营 黄莉 祝跃飞 王靳辉 
郑州市科技创新团队项目(No.10CXTD150)
Renauld等人提出的代数侧信道攻击是将代数攻击和侧信道攻击结合起来的一种对分组密码的攻击方法.目前的研究主要针对算法的8-bit实现平台,对于更大的如64-bit实现平台,未见文献讨论.为此,本文提出一种扩展的代数侧信道攻击,直接将侧信...
关键词：轻量级分组密码 鲁班锁分组密码 代数侧信道攻击 Magma数学软件 GROEBNER基 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部