Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis