Skip to main content

Document Preview

Copyright information

Copyright The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp) 2019

Access to the complete full text

This is a short preview of the document. Your library or institution may give you access to the complete full text for this document in ProQuest.

Explore ProQuest

Full Text
Conference Paper

Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif

Yoshimura, Togo; Arai, Kenichi; Okazaki, Hiroyuki; Futa, Yuichi. Proceedings of the International Conference on Security and Management (SAM); Athens, (2019).