|
论文《基于PVS的数据库安全策略形式化分析方法》提出了一种利用PVS工具对数据库安全策略进行形式化验证的方法。该方法通过建立数学模型，对访问控制、数据加密等安全机制进行严格证明，提高了数据库安全策略的可靠性和正确性。文章在首届全国信息安全等级保护技术大会上发表，为信息安全领域提供了理论支持和技术参考。 文档为pdf格式，0.49MB，总共9页。
- 文件大小:
- 501.76 KB
- 下载次数:
- 60
- 基于PVS的数据库安全策略形式化分析方法 - 首届全国信息安全等级保护技术大会.pdf ...
-
高速下载
| 
