Sergei Obiedkov, Derrick G. Kourie, и J.H.P. Eloff. Building access control models with attribute exploration. Computers and Security, (28)1–2:2--7, 2009. [PUMA: concept formal control access security exploration analysis fca attribute] URL