|
论文《基于无干扰理论的并发程序隐私性分析模型研究》发表于第六届中国可信计算与信息安全学术会议,旨在探讨并发程序中隐私性问题的解决方法。该研究引入无干扰理论,构建了一个用于分析并发程序隐私性的模型,有效识别潜在的信息泄露风险。通过形式化方法,提升了并发系统在隐私保护方面的可靠性,为可信计算和信息安全领域提供了新的理论支持和技术路径。 文档为pdf格式,0.56MB,总共7页。
- 文件大小:
- 573.44 KB
- 下载次数:
- 60
- 基于无干扰理论的并发程序隐私性分析模型研究 - 第六届中国可信计算与信息安全学术会议.pdf ...
-
高速下载
|