Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles

@article{Backes2005KeydependentMS,
  title={Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles},
  author={Michael Backes and Birgit Pfitzmann and Andre Scedrov},
  journal={20th IEEE Computer Security Foundations Symposium (CSF'07)},
  year={2005},
  pages={112-124}
}
Key-dependent message security, short KDM security, was introduced by Black, Rogaway and Shrimpton to address the case where key cycles occur among encryptions, e.g., a key is encrypted with itself. It was mainly motivated by key cycles in Dolev-Yao models, i.e., symbolic abstractions of cryptography by term algebras, and a corresponding soundness result was later shown by Adao et al. However, both the KDM definition and this soundness result do not allow the general active attacks typical for… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS
26 Citations
36 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…