Huiqun Yu, Xudong He, Shu Gao, Yi Deng. Formal Software Architecture Design of Secure Distributed Systems. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. pages 450-457, 2003.
Abstract is missing.