提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
当Java Applet涉及到本地资源，必须对APPLET进行数字签名和认证。本文详细地介绍了在服务器端、客户端具体操作过程。
上传时间： 2015-11-09
上传用户：c12228
：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。
上传时间： 2015-11-09
上传用户：zhangjinzj
指纹开发应用的源码，实现在JAVA（WEB）开发语言的应用中实现指纹注册/认证功能。
上传时间： 2014-12-06
上传用户：wff
可进行开户，存款，取款以及查询余额的操作，并动态的调节利率的大小。 或以一般用户的身份（user）登录，进行自身密码的修改，业务的办理。
标签：
上传时间： 2015-11-17
上传用户：GHF
本文介绍了一个基于Client/Server模式的高校图书管理系统的设计与实现。运用Visual Basic.Net结合Microsoft SQL Server 2000开发的登录模块主要用于验证用户身份，进行有效的操作。从主界面模块在验证后进入每个子模块进行各个子系统的具体功能操作。在整个系统设计中充分利用了模块化的设计思想和开发方法
标签： Server Microsoft Client Visual
上传时间： 2013-12-23
上传用户：wfl_yy
人脸识别技术的几个主要研究方向,计算机人脸识别是指基于已知的人脸样本库,利用计算机分析图像和模式识别技术从静态或动态场景中,识别或验证一个或多个人脸。通常识别处理后可得到的基本信息包括人脸的位置、尺度和姿态信息。利用特征提取技术还可进一步抽取出更多的生物特征(如:种族、性别、年龄..) 。计算机人脸识别是目前一个非常活跃的研究课题，它可以广泛应用于保安系统、罪犯识别以及身份证明等重要场合。虽然人类对于人脸的识别能力很强，能够记住并辨识上千个不同的人脸，可是对于计算机则困难多了，其表现在：人脸表情丰富；人脸随年龄的增长而变化；发型、胡须、眼镜等装饰对人脸造成的影响；人脸所成图像受光照、成像角度以及成像距离等影响。
上传时间： 2014-01-09
上传用户：CSUSheep
利用椭圆曲线9GH 群上的双线性，构建了一种基于身份的三方弱型签密协议，提供密文鉴别、报文机密、签名非否认等安全特 性，摆脱了4+I 体系的约束，提高了计算效率，为在线交易和支付提供一种安全高效的一体化解决方案。
上传时间： 2013-12-02
上传用户：1159797854
是目前我见过的最好的DES算法程序，可以作为数据加密和认证使用。
上传时间： 2013-12-22
上传用户：LIKE
这是philips公司mifare卡的读写源程序DEMO，在他们公司下载需要特殊认证，对于开发射频卡十分有意义
上传时间： 2015-12-04
上传用户：阿四AIR
