1. A method for performing credential and condition assertion verification corresponding to a policy file, comprising: during an initialization process, dynamically creating comparing functions for principals, said principals having credentials, said credentials from said policy file, and dynamically creating comparing functions for states of protocol events, said events having conditions, said conditions from said policy file; during said initialization process, dynamically creating and loading a module, said module containing said comparing functions; during runtime, ensuring an installed policy file corresponds to said module, and, if not, repeating said initialization process using said installed policy file, thereby dynamically generating an updated module containing updated comparing functions, said updated module and said updated comparing functions corresponding to said installed policy file; and calling said comparing functions as appropriate.