CardKt: Automated multi-modal deduction on Java cards for multi-application security

DOI10.1007/3-540-45165-X_4MaRDI QIDQ2771720zbMATH OpenFDO

Authors Rajeev Goré, Lan Duy Nguyen

Publication date 12 March 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45165-X_4

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• CardS4: Modal theorem proving on Java smardcards
• Fundamental Approaches to Software Engineering
• The next smart card nightmare. Logical attacks, combined attacks, mutant applications and other funny things
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1956492

Cited in

(2)

• CardKt
• CardS4: Modal theorem proving on Java smardcards

Describes a project that uses

Uses Software

• KtSeqC

This page was built for publication: CardKt: Automated multi-modal deduction on Java cards for multi-application security

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