SECURITY POLICIES AND SECURITY MODELS.

J. A. Goguen, Jose Meseguer

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Pages (from-to)11-20
Number of pages10
JournalProceedings of the IEEE Computer Society Symposium on Research in Security and Privacy
StatePublished - 1982
Externally publishedYes

ASJC Scopus subject areas

  • Software

Cite this