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

马丽, 姜火文, 彭云

Formalization and Verification of Privacy Preserving Protocol Based on User Consent

MA Li, JIANG Huo-wen, PENG Yun

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