@inproceedings{schallerCSF09,
 author = {Schaller,, Patrick and Schmidt,, Benedikt and Basin, David and \v{C}apkun,, Srdjan},
 title = {Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks},
 booktitle = {Proceedings of the IEEE Computer Security Foundations Symposium (CSF)},
 year = {2009},
 publisher = {IEEE}
}