On analysis of secure information systems: a case study.

Qi Shi, John A. McDermid, Ning Zhang

Browse the full COMPSAC paper archive.