Secure introduction of one-way functions
- 7 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 246-254
- https://doi.org/10.1109/csfw.2000.856941
Abstract
Conditions are given under which a one-way function can be used 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. The result is applied to a password system where passwords are stored in a public file as images under a one-way function.Keywords
This publication has 4 references indexed in Scilit:
- Probabilistic noninterference in a concurrent languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verifying secrets and relative secrecyPublished by Association for Computing Machinery (ACM) ,2000
- A sound type system for secure flow analysisJournal of Computer Security, 1996
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981