Permission Inference for Array Programs.

Jérôme Dohrau Alexander J. Summers Caterina Urban Severin Münger Peter Müller

Published in: CAV (2) (2018)

Keyphrases

access control
probabilistic inference
inference mechanism
databases
bayesian model
inference process
knowledge base
website
logic programs
probabilistic reasoning
computer programs
automatic programming