您的位置: 专家智库 > >

国家高技术研究发展计划(2008AA01Z411)

作品数:7 被引量:30H指数:4
相关作者:庞辽军陈峰李伟华张红斌裴庆祺更多>>
相关机构:西安电子科技大学西北工业大学西北大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金陕西省自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇形式化
  • 2篇形式化建模
  • 2篇有限自动机
  • 2篇确定有限自动...
  • 2篇自动机
  • 1篇银行
  • 1篇银行安全
  • 1篇有穷
  • 1篇指纹
  • 1篇指纹认证
  • 1篇身份认证
  • 1篇生物特征
  • 1篇生物特征识别
  • 1篇视觉加工
  • 1篇数据安全
  • 1篇签名
  • 1篇签名方案
  • 1篇自动机模型
  • 1篇网络
  • 1篇连接度

机构

  • 4篇西安电子科技...
  • 2篇西北大学
  • 2篇西北工业大学
  • 1篇河北科技大学

作者

  • 2篇李伟华
  • 2篇陈峰
  • 2篇庞辽军
  • 1篇赵恒
  • 1篇赵继政
  • 1篇吕正
  • 1篇马建峰
  • 1篇陈昊
  • 1篇李军
  • 1篇裴庆祺
  • 1篇张镕麟
  • 1篇焦李成
  • 1篇张红斌

传媒

  • 1篇电子学报
  • 1篇计算机学报
  • 1篇西北大学学报...
  • 1篇西安交通大学...
  • 1篇西安电子科技...
  • 1篇网络安全技术...
  • 1篇Fronti...

年份

  • 5篇2011
  • 1篇2010
  • 1篇2008
7 条 记 录,以下是 1-7
排序方式:
基于身份自证实的秘密共享方案被引量:9
2010年
为了解决现有秘密共享方案中秘密份额的安全分发问题,基于Girault密钥交换协议,结合基于身份(ID)的公钥密码技术提出了一个新的秘密共享方案,并对其进行了安全性和性能分析.该方案中,用户的私钥作为其秘密份额,无须秘密分发者为每个用户分发秘密份额.用户的私钥可以由用户自己选取,可信第三方无法获取其私钥.同时,任何人都可以以离线方式验证每一个参与者公钥的合法性.分析表明,文中所提出的基于身份的秘密共享方案具有更高的安全性和有效性,能更好地满足应用需求.
裴庆祺马建峰庞辽军张红斌
关键词:密钥交换秘密共享
静息态下汉字视觉加工脑网络的有效连接度研究
2011年
为了分析负责汉字视觉加工的左侧枕下回、左侧梭状回中部、左侧顶上小叶和左侧额中回在静息状态时的信息交互模式,采用多变量Granger因果模型对这些脑区在静息状态的时间序列进行分析.该方法可以有效地避免因为变量具有公共输入而导致的"伪"因果关系.研究结果表明,在静息态下,左侧枕下回和左侧梭状回中部都与左侧顶上小叶存在显著的双向Granger因果连接;左侧枕下回对左侧额中回、左侧额中回对左侧梭状回中部均具有显著的Granger因果影响.上述结果反映了汉字视觉加工脑区在没有外界刺激条件下也存在着动态的信息交互,从而肯定了静息态下存在一个处于准备状态的汉字视觉加工脑网络.
赵继政赵恒李军
关键词:磁共振成像静息态连接度
Fingerprint segmentation based on an AdaBoost classifier被引量:4
2011年
Fingerprint segmentation is one of the most important preprocessing steps in an automatic fingerprint identification system (AFIS). Accurate segmentation of a fingerprint will greatly reduce the computation time of the following processing steps, and the most importantly, exclude many spurious minutiae located at the boundary of foreground. In this paper, a new fingerprint segmenta- tion algorithm is presented. First, two new features, block entropy and block gradient entropy, are proposed. Then, an AdaBoost classifier is designed to discriminate between foreground and background blocks based on these two features and five other commonly used features. The classification error rate (Err) and McNemar's test are used to evaluate the performance of our method. Experimental results on FVC2000, FVC2002 and FVC2004 show that our method outperforms other methods proposed in the literature both in accuracy and stability.
Eryun LIUHeng ZHAOFangfei GUOJimin LIANGJie TIAN
关键词:ENTROPY
采用模型检测器的软件安全模型验证方法被引量:3
2011年
针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.
陈峰李伟华陈昊吕正
关键词:确定有限自动机形式化建模
无可信中心的可变门限签名方案被引量:8
2008年
分析了Lee的多策略门限签名方案,发现其不能抗合谋攻击.基于Agnew等人改进的ElGamal签名方案,提出了一个无可信中心的可变门限签名方案.该方案允许在群体中共享具有不同门限值的多个组密钥,每个签名者仅需保护一个签名密钥和一个秘密值;可以根据文件的重要性灵活地选取不同的门限值进行门限签名.分析表明,提出的方案防止了现有方案中存在的合谋攻击,而且无需可信中心来管理签名者的密钥,密钥管理简单,更具安全性和实用性.
庞辽军焦李成
关键词:数据安全合谋攻击密钥管理
软件安全分析的有穷自动机模型被引量:4
2011年
目的为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证。方法软件安全分析验证法与形式化建模方法。结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图。首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA。结论为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例。
陈峰李伟华
关键词:确定有限自动机形式化建模
银行指纹认证系统应用方案被引量:3
2011年
本文提出了一套完整的基于指纹识别技术的银行身份认证系统,分为银行客户认证系统和银行内控认证系统,从银行内部员工和外部客户两个角度保障银行系统的安全。
张镕麟
关键词:银行安全生物特征识别指纹身份认证
共1页<1>
聚类工具0