An introduction to security API analysis

DOI10.1007/978-3-642-23082-0_2MaRDI QIDQ3092171zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Riccardo Focardi, Graham Steel, Flaminia L. Luccio

Publication date 16 September 2011

Published in Foundations of Security Analysis and Design VI (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Internet topics (68M11) Data encryption (aspects in computer science) (68P25)

Recommendations

• Towards a Type System for Security APIs
• scientific article; zbMATH DE number 2092644
• A modular treatment of cryptographic APIs: the symmetric-key case
• Extending security protocol analysis: new challenges
• scientific article; zbMATH DE number 1231619

Cites work

• Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
• Computer Aided Verification
• Extending security protocol analysis: new challenges
• Formal analysis of PIN block attacks
• Guessing bank PINs by winning a mastermind game
• scientific article; zbMATH DE number 3559318 (Why is no real title available?)
• scientific article; zbMATH DE number 1006115 (Why is no real title available?)
• scientific article; zbMATH DE number 1948406 (Why is no real title available?)
• scientific article; zbMATH DE number 1979311 (Why is no real title available?)
• scientific article; zbMATH DE number 1844580 (Why is no real title available?)
• scientific article; zbMATH DE number 1882021 (Why is no real title available?)
• On the security of PKCS \#11.
• On the security of public key protocols
• The math book. From Pythagoras to the 57th dimension. 250 milestones in the history of mathematics

Cited in

(2)

• Secure key management policies in strand spaces
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later

Describes a project that uses

Uses Software

• AVISPA
• openCryptoki

This page was built for publication: An introduction to security API analysis

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