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.

@inproceedings{YuHGD03,
  title = {Formal Software Architecture Design of Secure Distributed Systems},
  author = {Huiqun Yu and Xudong He and Shu Gao and Yi Deng},
  year = {2003},
  tags = {software architecture, architecture, design},
  researchr = {https://researchr.org/publication/YuHGD03},
  cites = {0},
  citedby = {0},
  pages = {450-457},
  booktitle = {Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003},
}