[Bilbao83] A. Bilbao, Method of Analysis and Synthesis of Access Control Systems, IEEE Carnahan Conference on Security Technology, Oct. 1993, Zurich, Switzerland, pp275-277. [This paper describes a graph-theoretic model of physical access control.]