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

cited authors

  • Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian

authors

publication date

  • January 1, 2004

keywords

  • 46 Information and Computing Sciences
  • 4604 Cybersecurity and Privacy
  • 4612 Software Engineering
  • 4613 Theory Of Computation

Digital Object Identifier (DOI)

Conference

  • Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.

publisher

  • Institute of Electrical and Electronics Engineers (IEEE)

start page

  • 289

end page

  • 290