End-to-End Verification of Security Policy Enforcement - Microsoft Research - The Diigo Meta page

• 24 Nov 11
  

  Dan Connolly

  programming security research logic

  • Our approach is based on specifying fine-grained authorization and information flow policies for extensions in Datalog and automatically verifying extension code for policy compliance using refinement types.

Would you like to comment?

Join Diigo for a free account, or sign in if you are already a member.