A system and method for program access control includes, for a typestate, providing typestate properties and assigning a role to the typestate in a program in accordance with the typestate properties. Access to operations is limited for the typestate in the program based on the role assigned to the typestate...http://www.google.com.tw/patents/US7933925?utm_source=gb-gplus-share專利 US7933925 - System and method for role based analysis and access control
