Formal Software Architecture Design of Secure Distributed Systems.

Huiqun Yu, Xudong He, Shu Gao, Yi Deng

Browse the full SEKE paper archive.