High-Confidence Design for Security

Research output: Contribution to journalArticle

7 Scopus citations
Original languageEnglish (US)
Pages (from-to)33-37
Number of pages5
JournalCommunications of the ACM
Volume42
Issue number7
Publication statusPublished - 1999

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Graphics and Computer-Aided Design
  • Hardware and Architecture
  • Software
  • Theoretical Computer Science

Cite this