High-Confidence Design for Security

Research output: Contribution to journalArticlepeer-review

11 Scopus citations
Original languageEnglish (US)
Pages (from-to)33-37
Number of pages5
JournalCommunications of the ACM
Volume42
Issue number7
DOIs
StatePublished - 1999

ASJC Scopus subject areas

  • General Computer Science

Cite this