Trusted computing with addition machines. II - A. V. Anisimov; A. K. Novokshonov (Cybernetics and Systems Analysis, 2018)