Formal Software Architecture Design of Secure Distributed Systems

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.