A Temporalised Belief Logic for Reasoning about Authentication Protocols.

Ji Ma, Klaus-Dieter Schewe

Browse the full TrustCom paper archive.