Cited By
View all- Holzinger PHermann BLerch JBodden EMezini M(2017)Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation2017 IEEE Symposium on Security and Privacy (SP)10.1109/SP.2017.16(1027-1040)Online publication date: May-2017
- Bodei CDinh VFerrari G(2017)Checking global usage of resources handled with local policiesScience of Computer Programming10.1016/j.scico.2016.06.005133(20-50)Online publication date: Jan-2017
- BARTOLETTI MDEGANO PFERRARI GZUNINO R(2014)Model checking usage policiesMathematical Structures in Computer Science10.1017/S096012951200093X25:03(710-763)Online publication date: 10-Nov-2014
- Show More Cited By