On the role of formal methods in security

DOI10.1016/S0020-0190(00)00216-7MaRDI QIDQ1607104zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1746450
• Separating the specification and implementation phases in cryptology (extended abstract)
• scientific article; zbMATH DE number 1024091
• scientific article; zbMATH DE number 1706328
• scientific article; zbMATH DE number 2043474

Cites work

• A logic of authentication
• scientific article; zbMATH DE number 1418307 (Why is no real title available?)
• Towards sound approaches to counteract power-analysis attacks

Cited in

(2)

• scientific article; zbMATH DE number 1746450 (Why is no real title available?)
• Formal requirements for utility and value functions for security‐related decisions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1607104)