Static Compliance Checking beyond Separation of Duty Constraints.

Yang Bo Chunhe Xia Yang Luo Qing Tang

Published in: 3PGCIC (2014)

Keyphrases

constraint checking
dynamic constraints
artificial intelligence
constrained optimization
linear constraints
neural network
information systems
special case
scheduling problem
integrity constraints
mixed integer
consistency checking
constraint solving