Composition of Password-based Protocols

[DelauneKremerRyan2008] Stéphanie Delaune, Steve Kremer and Mark Ryan. Composition of Password-based Protocols. In 21st IEEE Computer Security Foundations Symposium, IEEE Computer Society Press. 2008.