Back to Browse

Role-based Access Control analysis (pt. 2)

572 views
Feb 5, 2024
31:34

We continue the formulation of Role-Based Access Control in SAT: 00:00 We review the encoding of RBAC rules (tables) into SAT 10:02 We develop an encoding of constraints about users Solutions (one link for each constraint): https://play.formal-methods.net/?check=SAT&p=parole-grass-barn-posh https://play.formal-methods.net/?check=SAT&p=remix-relax-corral-possum https://play.formal-methods.net/?check=SAT&p=tassel-cancel-juice-pound

Download

1 formats

Video Formats

360pmp437.9 MB

Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.

Role-based Access Control analysis (pt. 2) | NatokHD