26 citations · 55 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 5 cited
A Program Logic for Verifying Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu +3
The Internet, as it stands today, is highly vulnerable to attacks. However, little has been done to understand and verify the formal security guarantees of proposed secure inter-do…
cs.LO2011
A Logical Method for Policy Enforcement over Evolving Audit Logs
Deepak Garg, Limin Jia, Anupam Datta
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Privacy…