Text this: Formal modeling and analyzing method for database security policy