Assured Information Sharing Formal Models for Assured Information Sharing Prof. Ravi Sandhu Executive Director and Endowed Chair Institute for Cyber Security University of Texas at San Antonio September 2008 ravi.sandhu@utsa.edu www.profsandhu.com © Ravi Sandhu
Two Universes Convergence and Synergy AISL Policy Languages Policy XACML Rei EXAM … Policy Models Bell-LaPadula RBAC UCON … Convergence and Synergy © Ravi Sandhu AISL
... RBAC96 Model (1996) ROLE HIERARCHIES USER-ROLE ASSIGNMENT PERMISSIONS-ROLE ASSIGNMENT USERS ROLES PERMISSIONS ... SESSIONS CONSTRAINTS © Ravi Sandhu AISL
Usage Control (UCON) Model (2004) unified model integrating authorization obligation conditions and incorporating continuity of decisions mutability of attributes © Ravi Sandhu 4
Dissemination Vs Group-Centric Sharing © Ravi Sandhu AISL
Dissemination-Centric Sharing Attribute + Policy Cloud Attribute + Policy Cloud Attribute + Policy Cloud Attribute + Policy Cloud Object Object Object Object Alice Bob Charlie Ravi Shashi Attribute Cloud Attribute Cloud Attribute Cloud Attribute Cloud Attribute Cloud Dissemination Chain with Sticky Policies on Objects © Ravi Sandhu AISL
Group-Centric Sharing Authz (S,O,R)? Strict Join Strict Leave Liberal Add Liberal Remove Liberal Join LiberalLeave Strict Add Remove Subjects Objects GROUP Authz (S,O,R)? Join Leave Add Remove Subjects Objects © Ravi Sandhu AISL
Group-Centric Models AISL Level 2 Level 1 Core Properties Required of any policy Additional Properties Level 1 cannot violate Core Level 2 cannot violate Level 1 … Core Properties © Ravi Sandhu AISL
Core Properties AISL Subjects 1. Overlapping Membership Property Leave Join GROUP Authz (S,O,R)? 2. Persistence Property 3. Liveness Properties (a) Add Remove Objects (b) 4. Safety Properties (a) (b) © Ravi Sandhu AISL
Level 1 Lossless Vs Lossy Operations Restorative Vs Non-Restorative Subjects Lossless Vs Lossy Operations Lossless Join Lossless Leave Restorative Vs Non-Restorative Non-Restorative Join Authorizations from past membership period not restored Non-Restorative Leave Authorizations prior to joining the group is not restored Leave Join GROUP Authz (S,O,R)? Add Remove Objects © Ravi Sandhu AISL
Level 2 AISL Subjects Leave Join Add Remove Objects Add after Join GROUP Authz (S,O,R)? Add Remove Objects Add after Join Allows any combination of operations Add before Join © Ravi Sandhu AISL