一种电子健康协议的形式化分析
密码学与安全
2018-08-28 v1
摘要
鉴于健康数据的敏感性，电子健康系统中的安全与隐私至关重要。电子健康系统必须确保用户保持隐私——即使他们被贿赂或胁迫透露自己或他人：例如，制药公司可能贿赂药剂师以泄露破坏医生隐私的信息。在本文中，我们首先识别并形式化了若干关于强制医生隐私的新的且重要的隐私属性。随后我们分析了一个复杂且实用的电子健康协议（DLV08）的安全与隐私。我们的分析揭示了协议中的歧义，并展示了这些新隐私属性以及其他安全属性（如保密性和认证性）和隐私属性（如匿名性和不可追踪性）在何种程度上被该协议满足。最后，我们处理了导致安全与隐私缺陷的已发现歧义，并提出了修复建议。
引用
@article{arxiv.1808.08403,
title = {Formal Analysis of an E-Health Protocol},
author = {Naipeng Dong and Hugo Jonker and Jun Pang},
journal= {arXiv preprint arXiv:1808.08403},
year = {2018}
}