定性敏感性偏好的模型检查以最大限度地减少凭证泄露 电子书下载

原名:Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure
作品简介:仅向有资格治疗该疾病的专科医生公开患有某种疾病的患者 A 的记录。服务器可以因此。……