基于用户同意的隐私保护协议形式化描述与验证

PDF(1042 KB)

电子学报 ›› 2023, Vol. 51 ›› Issue (7) : 1842-1849. DOI: 10.12263/DZXB.20230144

作者信息 +

Formalization and Verification of Privacy Preserving Protocol Based on User Consent

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2023, 51(7): 1842-1849. https://doi.org/10.12263/DZXB.20230144

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2023, 51(7): 1842-1849. https://doi.org/10.12263/DZXB.20230144

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(1042 KB)

Accesses

Citation

Detail

段落导航