搜索结果: 1-2 共查到“密码学 automated security proofs”相关记录2条 . 查询时间(0.109 秒)
Automated Security Proofs for Almost-Universal Hash for MAC verification
block ciphers hash functions
2014/3/12
Message authentication codes (MACs) are an essential primitive in cryptography. They are used to ensure the integrity and authenticity of a message, and can also be used as a building block for larger...
Automated Security Proofs with Sequences of Games
Automated Security Proofs Sequences Games
2008/10/31
This paper presents the first automatic technique for proving not only protocols
but also primitives in the exact security computational model. Automatic proofs of cryptographic protocols were up to ...