Text this: Research on formal security policy model specification and its formal analysis