On backward-style verification for timed anonymity of security protocols | IEEE Conference Publication | IEEE Xplore