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.
Would you like to comment?
Join Diigo for a free account, or sign in if you are already a member.