@inproceedings{longbeach07, author = {P. C. {\"O}lveczky and M. Grimeland}, title = {Formal Analysis of Time-Dependent Cryptographic Protocols in {Real-Time Maude}}, booktitle = {21st International Parallel and Distributed Processing Symposium (IPDPS 2007)}, year = {2007}, publisher = {IEEE Computer Society Press} }