7 search results - page 2 / 2 » Team Edit Automata for Testing Security Property |
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
IANDC
2011
13 years 23 days ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...