Security modelling using hierarchical state machines

John P. Nestor. Security modelling using hierarchical state machines. In Seventh Annual Computer Security Applications Conference, ACSAC 1991, 2-6 December, 1991, San Antonio, Texas, USA. pages 110-119, IEEE, 1991. [doi]

Abstract

Abstract is missing.