%0 Journal Article %1 journals/tissec/BasinCSS11 %A Basin, David A. %A Capkun, Srdjan %A Schaller, Patrick %A Schmidt, Benedikt %D 2011 %J ACM Trans. Inf. Syst. Secur. %K dblp %N 2 %P 16:1-16:28 %T Formal Reasoning about Physical Properties of Security Protocols. %U http://dblp.uni-trier.de/db/journals/tissec/tissec14.html#BasinCSS11 %V 14

@article{journals/tissec/BasinCSS11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Basin, David A. and Capkun, Srdjan and Schaller, Patrick and Schmidt, Benedikt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2992b81d8ee297341ee0920fbdcfa5224/dblp}, ee = {https://doi.org/10.1145/2019599.2019601}, interhash = {6b73a5630c86ac80fc0a84b353185b5a}, intrahash = {992b81d8ee297341ee0920fbdcfa5224}, journal = {ACM Trans. Inf. Syst. Secur.}, keywords = {dblp}, number = 2, pages = {16:1-16:28}, timestamp = {2019-09-27T06:21:13.000+0200}, title = {Formal Reasoning about Physical Properties of Security Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec14.html#BasinCSS11}, volume = 14, year = 2011 }