ABSTRACT
Conditionsaregivenunderwhichaone-way function canbeused safely in a programming language. The security proof involves showing that secrets cannot be leaked easily by any program meeting the conditions unless breaking the one-way function is easy.Theresult isapplied toapasswordsystemwherepasswords are stored in a public file as images under a one-way function.
