SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols | IEEE Conference Publication | IEEE Xplore