图文验证模块图文验证是一种有效的防止恶意攻击的技术应用相当广泛

针对协议复合时需要解决的问题，研究提出一种复合协议验证逻辑模型，给出了协议描述、逻辑语法、逻辑语义和相应的证明系统，对协议的秘密性和认证性进行建模，将协议复合分为并行复合和顺序复合，并提出相应的协议复

一种抗几何攻击的数字水印算法

ABP框架是基于ASP.NET的Web开发框架(GitHub: https://github.com/aspnetboilerplate),在ASP.NET框架之上又添加了更强大的功能,这里我们就来详

可以对输入的身份证进行验证，包括身份证的长度，日期，闰月等，以及验证码的验证

近年来数据分类技术已经被广泛应用于各类问题中,作为最重要的分类算法之一,K最近邻法(KNN)也被广泛使用。在过去的近50年,人们就如何提高KNN的并行性能做出巨大努力。基于CUDA的KNN并行实现算法

提出了一种基于MerkleTree的远程验证机制，其核心是完整性度量值哈希树。析IMA(integritymeasurementarchitecture)体系架构的不足,详细描述基于Merkle哈希树

基于模型检测验证协议的方法存在状态空间爆炸问题，其中基于目标绑定搜索状态空间的方法有效控制了状态空间，但不能完全给出协议的运行情况。针对这一问题，提出了一种基于状态扩展的安全协议自动化验证机制，首先对

一种新型柔性转动副柔度矩阵的建立与验证，杨启志，朱小兵，柔性运动副的工作机理是利用其自身的弹性变形来产生类似传动运动副的运动，柔性运动副与传统运动副相比具有无间隙、无摩擦磨损、

php的一个md5加密算法，前一阵研究zencart登录的时候摘录下来的，希望对那些研究zencart登录的和php的md5加密的同学有些帮助。这里动态生成的加密后的密码，同一个密码加密后在不同的时间

在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不