A Formal Approach to Designing Secure Software Architectures* *Supported in part by the NSF under grants HRD-0317692 and CCR-0226763, and by NASA under grant NAG 2-1440.
Conference
Yu, Huiqun, He, Xudong, Deng, Yi et al. (2004). A Formal Approach to Designing Secure Software Architectures* *Supported in part by the NSF under grants HRD-0317692 and CCR-0226763, and by NASA under grant NAG 2-1440.
. 289-290. 10.1109/hase.2004.1281766
Yu, Huiqun, He, Xudong, Deng, Yi et al. (2004). A Formal Approach to Designing Secure Software Architectures* *Supported in part by the NSF under grants HRD-0317692 and CCR-0226763, and by NASA under grant NAG 2-1440.
. 289-290. 10.1109/hase.2004.1281766