A compositional framework for the development of secure access control systems

François Siewe. A compositional framework for the development of secure access control systems. PhD thesis, De Montfort University, Leicester, UK, 2005. [doi]

Abstract

Abstract is missing.