Possibility theory: As a means for modeling computer security and protection
David C. Rine · International Symposium on Multiple-Valued Logic · 1978
The paper studies correlations between computer security specifications and protection techniques in order to find ways by which architectural features of a computer system corresponding to security specifications may be designed or evaluated. The formal basis of the study begins with two basic models introduced in sections 2.1 and 2.2 of the paper. Study objectives include developing a set of models based on a theory of possibilities for “measuring” strengths and weaknesses of “correlations” between security specifications and protection features.