Let's Get Physical: Models and Methods for Real-World Security Protocols