Designing minimal effective normative systems with the help of lightweight formal methods
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
Eunsuk Kang
Jianye Hao
Jun Sun D
Daniel Jackson
Jun Sun
How Good Is a Security Policy against Real Breaches? A HIPAA Case Study