国家自然科学基金(60473030)
- 作品数：61 被引量：209H指数：7
- 相关作者：袁丁何明星宋文叶剑虹孙世新更多>>
- 相关机构：四川师范大学西华大学华侨大学更多>>
- 发文基金：国家自然科学基金四川省应用基础研究计划项目四川省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术电子电信理学轻工技术与工程更多>>
- 对一种基于动态密码体制的Kerberos协议的改进被引量：3
- 2006年
- 分析了利用动态密码体制提出的一种改进的Kerberos协议的安全性,针对该协议存在的安全缺陷提出了改进方案.通过对比分析,可以看到改进的Kerberos协议保密强度更高,密钥的管理使用更加合理,验证过程更安全可靠.
- 卢小良袁丁
- 关键词：KERBEROS协议
- 基于Windows环境下的进程保护技术的研究与实现被引量：8
- 2010年
- 进程保护技术可以保护一个进程不被非法操作关闭来保证进程的正常运行,这种技术在信息安全的主机防护领域具有其不可替代的作用。进程保护技术可以应用于安全系统、杀毒软件自保护等方面,具有重要的研究价值。通过展开讨论API钩子技术和三线程保护技术的方式,来对进程保护常有的技术作出详细的阐述,并且提供了实现的方法。最后提出把这两种技术结合起来使用的新思路,以达到实现进程保护的最大可靠性。
- 马金鑫袁丁
- 关键词：PE代码注入
- 数据库加密系统中基于X.509证书的椭圆曲线加密身份认证机制被引量：4
- 2007年
- 身份认证问题是网络安全的重要研究课题,利用椭圆曲线密码系统相对于其他公钥密码体制具有密钥长度短、运算速度快、计算数据量小的特点,结合X.509证书构建一个新的、高效的、安全的身份认证方案。
- 邓婕袁丁
- 关键词：身份认证X.509证书椭圆曲线密码系统
- 密文数据库系统的密钥管理与加脱密引擎被引量：4
- 2009年
- 密钥管理和加脱密引擎是数据库加密系统中的两个重要组成部分。密钥管理是管理加脱密系统中使用到的各种密钥,包括用户的个人密钥,用于对数据加密的数据类密钥等,并通过转换表来分配不同用户的权限。加脱密引擎则负责对数据库中的敏感数据进行加脱密操作,主要是使用表密钥来对数据进行加脱密操作。在用何种密钥进行加密的描述中,两者就有一些不一致的地方。本文将就这一问题进行相关的讨论并给出解决方案。
- 陈睿
- 关键词：密钥管理加密密钥
- 一个基于随机函数族的新广播加密方案
- 2008年
- 通过构建一个随机函数族,本方案可成功地为用户分配密钥,使合法用户以概率为1地获得解密,而用户的密钥存储仅为(l+1)个.在系统开始运行前,每一个用户从每一个密钥池获得一个密钥.对于退出用户,广播中心只需用他们所不拥有的其他(辅助)密钥加密会话密钥即可;而对于未退出用户,在一定程度上他们总可以找到一个密钥与广播中心在加密会话密钥时所使用的密钥相匹配.本方案较目前基于二叉树结构的广播加密方案(如SD)在密钥存储量上有显著的优势,同时在一定条件下可使传输成本最小.
- 赖霞陈利娅何明星
- 关键词：广播加密
- 基于增广Petri网带封锁机制的数据库并发控制模型被引量：1
- 2007年
- 用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。
- 蒋忠远宋文姚建
- 关键词：PETRI网封锁形式化
- 基于增广自控网的路灯故障检测系统被引量：1
- 2007年
- 用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。
- 严兵宋文蒋忠远
- 关键词：PETRI网自控网形式化
- 基于工作流网的银行业务库高安全门禁系统被引量：1
- 2016年
- 银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立,再采用YAWL Editor工具分析了所构建系统的正确性,最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性,同时表明基于工作流网的方法有效降低了门禁系统的设计难度,并在具体实现之前确保了设计的正确性,提高了系统的开发效率。
- 王晓晓杜勇前叶剑虹孙世新
- 关键词：PETRI网工作流网YAWLEDITOR门禁系统软硬件协同设计
- 基于Petri网的交通信号控制系统被引量：6
- 2007年
- 用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。
- 蒋忠远宋文杨博
- 关键词：PETRI网自控网形式化相位
- 基于置信度和神经网络的信用卡异常检测被引量：7
- 2008年
- 针对信用卡使用过程中存在的异常消费行为,提出一种新的基于置信度和神经网络的信用卡异常检测方法以及采用ROC分析技术确定系统检测阈值方法,实现了对消费行为特征属性数据的置信度计算,利用BP神经网络建立了信用卡消费行为异常检测模型。实验结果表明,该检测模型不依赖于单个持卡用户,ROC分析技术的引入确保了检测的准确性和有效性,系统的实现对信用卡异常检测有较好的实用性和适应性。
- 郭涛李贵洋袁丁
- 关键词：神经网络
