A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols

DOI10.1007/978-3-642-21031-0_29zbMath1305.94081OpenAlexW87530933MaRDI QIDQ3001904

Xianwen Yang, Yanyan Yu, An Wang, Zheng Li

Publication date: 19 May 2011

Published in: Information Security Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21031-0_29

zbMATH Keywords

bottom-up methodcryptographic devicecryptographic SoCuniversally composable security model

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

This page was built for publication: A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols