On the role of formal methods in security

DOI10.1016/S0020-0190(00)00216-7zbMath1003.68045OpenAlexW1968171152MaRDI QIDQ1607104

R. Smith

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00216-7

zbMATH Keywords

cryptographysecurity

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• A logic of authentication
• Towards sound approaches to counteract power-analysis attacks

This page was built for publication: On the role of formal methods in security