Enhancing Cybersecurity by Generating User-Specific Security Policy through the Formal Modeling of User Behavior