http://www.oopsla.org/2006/2006/index.php?option=com_content&task=view&id=367&Itemid=447

program registration submissions committee lodging portland

SRC05: Automated Test Generation for Access Control Policies

SRC05: Automated Test Generation for Access Control Policies

To increase confidence in the correctness of access control policies, we use policy testing to probe the policy with test inputs (in the form of requests) and check test outputs (in the form of responses) against expected ones. We present a set of tools to facilitate systematic policy testing.

Evan Martin, North Carolina State University
Tao Xie, North Carolina State University

 

While Space Available
Search
program registration submissions committee lodging portland
For comments and questions about the web site
please contact us at support@oopsla.org
© 2005 OOPSLA