B/S系统数据完整的检查与约束

在密码学和数字签名的基础上,探讨了B/S系统数据完整的检查与约束,提出了完整控制算法。算法的时间复杂度是多项式的,是有效的,并利用模型检测工具对算法进行了安全性分析。随着安全数据库系统需求的增加,密码学、身份认证、数字签名等将得到新的应用。确保B端传送给S端的数据完整与安全,将是一个长期研究的课题。