发送短信: Вероятные модели надежности информационно-вычислительных систем