https://123dok.net/document/qvl916ry-authenticated-messages-for-a-real-time-fault-tolerant-computer-system.html