摘要 : A fundamental problem in the specification of regulatory privacy policies such as the Health Insurance Portability and Accountability Act (HIPAA) in a computer system is to state the policies precisely, consistent with their high-... 展开
作者 | Hui Shen Ram Krishnan Rocky Slavin Jianwei Niu |
---|---|
作者单位 | |
期刊名称 | 《IEEE transactions on dependable and secure computing》 |
页码/总页数 | 381-393 / 13 |
语种/中图分类号 | 英语 / TP3 |
关键词 | Formal Verification Formal verification HIPAA Privacy Policy Sequence Diagram Temporal Logic privacy policy sequence diagram temporal logic |
馆藏号 | IELEP0257 |