A Formal Approach to Designing Secure Software Architectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Huiqun Yu, Xudong He, Yi Deng, Lian Mo. A Formal Approach to Designing Secure Software Architectures. In 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA. pages 289-290, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Huiqun Yu' in GoogleThis author has not been identified. Look up 'Xudong He' in GoogleThis author has not been identified. Look up 'Yi Deng' in GoogleThis author has not been identified. Look up 'Lian Mo' in Google

runs on WebDSL