形式验证

介绍了现有的常用身份认证方法，分析了其安全性和不足之处，针对安全性和效率问题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协

2023-11-30 7 形式验证

提供服务端登陆验证程序（验证码随机改变，防止非法进入）；提供服务器控制程序，管理员可以允许、屏蔽和删除一个注册用户的登陆客户端；任何改变访问地点的行为，都必须得到管理员的授权，否则无法登陆系统；即使知道其他用户的密码也不能...

2015-04-10 118 形式验证

2013-12-20 172 形式验证

Javascript表单验证控件,里面包含大量的验证内容，可以直接拷贝

2013-12-15 97 形式验证

2013-12-03 41 形式验证

RJ45以太网和1个USB2.0组成的连接器封装，Altium Designer格式，经过验证可以放心使用。

2022-07-17 7 形式验证

登录窗体的验证，可以使得验证更加容易实现，

2015-11-12 186 形式验证

Fresnel带的验证程序，地震资料中用的，带为椭圆也能用

2015-11-12 81 形式验证

形式验证 热门资料