Formal Analysis of Software Security System Architectures.

Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai

Browse the full ISADS paper archive.