A formal approach to designing secure software architectures Conference

Yu, HQ, He, XD, Deng, Y et al. (2004). A formal approach to designing secure software architectures . 289-290.

keywords

  • AUTHENTICATION
  • Computer Science
  • Computer Science, Theory & Methods
  • SAM
  • SPECIFICATIONS
  • Science & Technology
  • Technology

Location

  • Tampa, FL

International Standard Book Number (ISBN) 10

Conference

  • 8th IEEE International Symposium on High Assurance Systems Engineering

publisher

  • IEEE COMPUTER SOC

start page

  • 289

end page

  • 290