Enhancing cybersecurity by generating user-specific security policy through the formal modeling of user behavior. - Arwa AlQadheeb; Siddhartha Bhattacharyya; Samuel J. Perl (Array, 2022)