%0 Journal Article %1 journals/fmsd/ChevalierDKR13 %A Chevalier, Céline %A Delaune, Stéphanie %A Kremer, Steve %A Ryan, Mark Dermot %D 2013 %J Formal Methods in System Design %K dblp %N 3 %P 369-413 %T Composition of password-based protocols. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd43.html#ChevalierDKR13 %V 43

@article{journals/fmsd/ChevalierDKR13, added-at = {2013-11-30T00:00:00.000+0100}, author = {Chevalier, Céline and Delaune, Stéphanie and Kremer, Steve and Ryan, Mark Dermot}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b6c949d35a332afbf70ff3ee4685d0fc/dblp}, ee = {http://dx.doi.org/10.1007/s10703-013-0184-6}, interhash = {237880e1cf3983fd1e47cd3b4b7f56ec}, intrahash = {b6c949d35a332afbf70ff3ee4685d0fc}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 3, pages = {369-413}, timestamp = {2016-02-02T01:14:24.000+0100}, title = {Composition of password-based protocols.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd43.html#ChevalierDKR13}, volume = 43, year = 2013 }