A Decentralised Key Management System for the European Railway Signalling System