电子学报2023，Vol.51Issue(7)：1842-1849,8.DOI:10.12263/DZXB.20230144
基于用户同意的隐私保护协议形式化描述与验证
Formalization and Verification of Privacy Preserving Protocol Based on User Consent
摘要
关键词
个人数据保护/隐私保护模型/隐私保护协议/访问控制/隐私授权/TLA+(Temporal Logic of Actions plus)Key words
personal data protecting/privacy preserving model/privacy preserving protocol/access control/privacy authorization/TLA+(Temporal Logic of Actions plus)分类
信息技术与安全科学引用本文复制引用
马丽,姜火文,彭云..基于用户同意的隐私保护协议形式化描述与验证[J].电子学报,2023,51(7):1842-1849,8.基金项目
江西省社会科学基金项目(No.21TQ08D) （No.21TQ08D）
江西省高校人文社会科学研究项目(No.JC22115) （No.JC22115）
江西省自然科学基金项目(No.20224BAB202013) Social Science Foundation Project of Jiangxi Province(No.21TQ08D) （No.20224BAB202013）
Humanities and Social Science Project of University of Jiangxi Province(No.JC22115) （No.JC22115）
Natural Science Foundation of Jiangxi Province of China(No.20224BAB202013) （No.20224BAB202013）
