2004 | ||
---|---|---|
2 | Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao: Modeling and analyzing security protocols in SAM: A case study. IASTED Conf. on Software Engineering and Applications 2004: 115-121 | |
1 | Weixiang Sun, Zhengfan Dai: AOSAM: A formal framework for aspect-oriented software architecture specifications. IASTED Conf. on Software Engineering and Applications 2004: 180-185 |
1 | Junhua Ding | [2] |
2 | Shu Gao | [2] |
3 | Xudong He | [2] |
4 | Weixiang Sun | [1] |