18. The method of claim 15 wherein the converting of the context based access control policies comprises converting the context based access control policies specified in the formal descriptive language to Monadic Second Order event, variable, and Boolean operator based formulae.
15. A method implemented on a computer for producing finite state automata capable of providing an access control decision upon receiving an access control request, the method comprising: reading by the computer of context based access control policies specified in a formal descriptive language, wherein the context based access control policies comprise policies granting/denying access based on dynamic events; converting by the computer of the context based access control policies specified in the formal descriptive language to Monadic Second Order formulae; and, converting by the computer of the Monadic Second Order event and variable based formulae to the finite state automata.