Travelled to:1 × Canada
1 × USA
Collaborated with:Y.Deng H.Yu X.He K.Beznosov K.M.L.Cooper
Talks about:system (2) design (2) secur (2) architectur (1) distribut (1) softwar (1) orient (1) formal (1) aspect (1) studi (1)
Person: Shu Gao
DBLP: Gao:Shu
Contributed to:
20042003Wrote 2 papers:
- SEKE-2004-GaoDYHBC #case study #design #security
- Applying Aspect-Orientation in Designing Security Systems: A Case Study (SG, YD, HY, XH, KB, KMLC), pp. 360–365.
- SEKE-2003-YuHGD #architecture #design #distributed #formal method
- Formal Software Architecture Design of Secure Distributed Systems (HY, XH, SG, YD), pp. 450–457.