Specification of traces in the security protocols analysis | IEEE Conference Publication | IEEE Xplore