Using Monterey Phoenix to Formalize and Verify System Architectures.

Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong

Browse the full APSEC paper archive.