Qi Shi, John A. McDermid, Ning Zhang. On analysis of secure information systems: a case study. In Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings. pages 364-369, IEEE, 1994. [doi]
Abstract is missing.