Saltzer and Schroeder's principles

GPTKB entity