A Temporalised Belief Logic for Reasoning about Authentication Protocols | IEEE Conference Publication | IEEE Xplore