Ми нічого не контролюємо. Контроль протоколів: визначення правил безпеки. Контроль мереж: моделювання та забезпечення дотримання правил. Δ: додатковий етап перевірки в обробці транзакцій. Те саме: структури управління, припущення про довіру, оперативний контроль. Наша стаття про нейтральні системи безпеки: