Role-based Access Control analysis (pt. 2)

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