CardS4: Modal theorem proving on Java smardcards

DOI10.1007/3-540-45418-7_10MaRDI QIDQ4785551zbMATH OpenFDO

Authors Rajeev Goré, Phuong Thê Nguyên

Publication date 5 January 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2140/21400111, http://hdl.handle.net/1885/66155

zbMATH Keywords

modal deductionsecurity of mobile code

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• CardKt: Automated multi-modal deduction on Java cards for multi-application security
• Fundamental Approaches to Software Engineering
• Algebraic Methodology and Software Technology
• On-card bytecode verification for Java card
• Machine-checked proof-theory for propositional modal logics

Cited in

(3)

• CardS4
• CardKt: Automated multi-modal deduction on Java cards for multi-application security
• Model checking Russian cards

This page was built for publication: CardS4: Modal theorem proving on Java smardcards

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