The Timed Decentralised Label Model. - Martin Leth Pedersen; Michael Hedegaard Sørensen; Daniel Lux; Ulrik Nyman; René Rydhof Hansen (NordSec, 2015)