国家自然科学基金(60473030)
- 作品数：61 被引量：210H指数：8
- 相关作者：袁丁何明星宋文叶剑虹孙世新更多>>
- 相关机构：四川师范大学西华大学华侨大学更多>>
- 发文基金：国家自然科学基金四川省应用基础研究计划项目四川省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术电子电信理学轻工技术与工程更多>>
- 对一种基于动态密码体制的Kerberos协议的改进被引量：3
- 2006年
- 分析了利用动态密码体制提出的一种改进的Kerberos协议的安全性,针对该协议存在的安全缺陷提出了改进方案.通过对比分析,可以看到改进的Kerberos协议保密强度更高,密钥的管理使用更加合理,验证过程更安全可靠.
- 卢小良袁丁
- 关键词：KERBEROS协议
- 基于Windows环境下的进程保护技术的研究与实现被引量：8
- 2010年
- 进程保护技术可以保护一个进程不被非法操作关闭来保证进程的正常运行,这种技术在信息安全的主机防护领域具有其不可替代的作用。进程保护技术可以应用于安全系统、杀毒软件自保护等方面,具有重要的研究价值。通过展开讨论API钩子技术和三线程保护技术的方式,来对进程保护常有的技术作出详细的阐述,并且提供了实现的方法。最后提出把这两种技术结合起来使用的新思路,以达到实现进程保护的最大可靠性。
- 马金鑫袁丁
- 关键词：PE代码注入
- 数据库加密系统中基于X.509证书的椭圆曲线加密身份认证机制被引量：4
- 2007年
- 身份认证问题是网络安全的重要研究课题,利用椭圆曲线密码系统相对于其他公钥密码体制具有密钥长度短、运算速度快、计算数据量小的特点,结合X.509证书构建一个新的、高效的、安全的身份认证方案。
- 邓婕袁丁
- 关键词：身份认证X.509证书椭圆曲线密码系统
- 密文数据库系统的密钥管理与加脱密引擎被引量：4
- 2009年
- 密钥管理和加脱密引擎是数据库加密系统中的两个重要组成部分。密钥管理是管理加脱密系统中使用到的各种密钥,包括用户的个人密钥,用于对数据加密的数据类密钥等,并通过转换表来分配不同用户的权限。加脱密引擎则负责对数据库中的敏感数据进行加脱密操作,主要是使用表密钥来对数据进行加脱密操作。在用何种密钥进行加密的描述中,两者就有一些不一致的地方。本文将就这一问题进行相关的讨论并给出解决方案。
- 陈睿
- 关键词：密钥管理加密密钥
- 基于Petri网的柔性制造系统混惑检测与控制
- 2016年
- 已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可能出现混惑的库所和变迁中去寻找混惑,从而降低了检测混惑的时间复杂度;再采用抑止弧对系统中出现的混惑进行了一定的消解控制;最后通过一个柔性制造系统实例验证了所提出的混惑检测算法及控制策略的高效性和正确性。
- 龙章潮叶剑虹宋文
- 关键词：PETRI网柔性制造系统
- 基于椭圆曲线密码体制的动态密钥托管方案
- 2007年
- 采用动态可验证秘密共享方案,设计了一个基于椭圆曲线密码体制的动态密钥托管方案,有效地解决了共享秘密的动态更新、子密钥动态分配问题,且易于实现、效率高,提高了密钥托管的动态性和灵活性;该方案不仅能有效克服易受阈下信道攻击的缺点,验证用户的托管密钥正确性,检查出失效的托管代理,而且能解决"一次监听,永久监听"的问题,避免监听机构权力过大的现象,并能防止密钥管理中心与托管代理的欺诈。
- 闫鸿滨
- 关键词：椭圆曲线密码体制密钥托管监听
- 基于密文数据库中数组检索的研究被引量：11
- 2005年
- 通过比较集中索引以及分散索引,提出一种更为快捷的数组索引的密文查询方法,并较详细阐述了三者在时间、空间、安全性等方面的特点,从而体现出这种索引数组特有的优越性。
- 刘闪袁丁
- 关键词：密文数据库
- 一个基于随机函数族的新广播加密方案
- 2008年
- 通过构建一个随机函数族,本方案可成功地为用户分配密钥,使合法用户以概率为1地获得解密,而用户的密钥存储仅为(l+1)个.在系统开始运行前,每一个用户从每一个密钥池获得一个密钥.对于退出用户,广播中心只需用他们所不拥有的其他(辅助)密钥加密会话密钥即可;而对于未退出用户,在一定程度上他们总可以找到一个密钥与广播中心在加密会话密钥时所使用的密钥相匹配.本方案较目前基于二叉树结构的广播加密方案(如SD)在密钥存储量上有显著的优势,同时在一定条件下可使传输成本最小.
- 赖霞陈利娅何明星
- 关键词：广播加密
- 基于增广Petri网带封锁机制的数据库并发控制模型被引量：1
- 2007年
- 用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。
- 蒋忠远宋文姚建
- 关键词：PETRI网封锁形式化
- 基于增广自控网的路灯故障检测系统被引量：1
- 2007年
- 用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。
- 严兵宋文蒋忠远
- 关键词：PETRI网自控网形式化
