形式验证
形式验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
形式验证 热门资料
查看全部 500 份 →隐标识身份认证方法及其形式化语义分析
针对用户身份标识在身份认证机制中的安全问题，提出一种隐藏身份标识的身分认证方案，用户毋需提交身份标识即可与服务器实现身份认证，并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明，该协议
2023-12-22
1
服务器用户身份验证程序源代码 > 可内嵌于apache中,使用数据库信息验证用户身份 > 多种验证模式可选择(密码认证,cookie检测等)
服务器用户身份验证程序源代码 > 可内嵌于apache中,使用数据库信息验证用户身份 > 多种验证模式可选择(密码认证,cookie检测等)
2013-12-01
83