Token Exchange using Random Numbers (TERN) initial hazards analysis (RR-SSU-020)

The report contains the results of an initial hazard analysis of a system based on Token Exchange Using Random Numbers (TERN). The system can verify the transfer of authority in possessions and can control train movements on lightly used lines. The aim of the hazard analysis is to...