Abstract:
In paper describes an approach to building a formal model of information security based on the use of predicate algebra. The model is represented as a decision tree. The algorithm of its construction based on the deductive method of searching for answers is developed and investigated.
Keywords:predicate algebra, formal models, information security.
Fulltext:
PDF file (561 kB)