The analysis of methods of the description of the security policy by working out of information-safe tehnologies

Abstract: In the present article methods of the descri ption of a security policy are analysed by working out of information-safe technologies of construction of computing systems. The security policy can be developed and described with use formal and with use of an informal method. Merits and demerits of each of methods are revealed. The requirements shown to models of safety are defined.

Keywords: a security policy, the formal and informal descri ption of a security policy, safety model

For citation:
Varlataya S. K., Shahanova M. V. The analysis of methods of the description of the security policy by working out of information-safe tehnologies. Doklady Tomskogo gosudarstvennogo universiteta sistem upravleniya i radioelektroniki, 2010, no. 1(21), – p. 1. pp. 10–13.