Here is a list of articles in the Computer security models category of the Computing portal that unifies foundations of mathematics and computations using computers. This category contains articles describing computer security models that are or have been used in practical systems or proposed in theory.
The following 33 pages are in this category, out of 33 total.