Program synthesis in administration of higher-order permissions.

Glenn Bruns Michael Huth Kumar Avijit

Published in: SACMAT (2011)

Keyphrases

program synthesis
higher order
high order
access control
natural images
recursive programs
markov random field
role based access control
pairwise
inductive logic programming
rbac model
lambda calculus
lower order
natural language processing
low level
training set
information retrieval
machine learning