Информатика и вычислительная техникаРазработка систем с повышенными требованиями к безопасностиА. Н. Баланов