Yaowadee Temtanapat David L. Spooner Detection of Access Control Flaws in a Distributed Database System with Local Site Autonomy. 85-93 1997 IDEAS db/conf/ideas/ideas97.html#TemtanapatS97