The ACM Computing Classification System (CCS)
Toggle navigation
Home
Advanced search
About...
My account
formal security model
Home
formal security model
Term
Metadata
formal security model
formal security model
USE
Formal security models
Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3j17zjld63oln
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search