CardTAP: Automated deduction on a smart card

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1502, Issue , 1998, Pages 239-247

  Slater, Andrew ^a   Goré, Rajeev ^a   Posegga, Joachim ^b   Vogt, Harald ^b  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b DEUTSCHE TELEKOM LABORATORIES   (Germany)

Author keywords

Automated deduction; Java; LeanTAP; Proof carrying code; Security; Tableaux

Indexed keywords

ARTIFICIAL INTELLIGENCE; CALCULATIONS; COMPUTER CIRCUITS; FORMAL LOGIC; SMART CARDS;

AUTOMATED DEDUCTION; JAVA; LEANTAP; PROOF-CARRYING CODE; SECURITY; TABLEAUX;

THEOREM PROVING;

EID: 84947939160     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0095056     Document Type: Conference Paper

References (10)

1. George Necula and Peter Lee. Proof carrying code. Technical Report CMU-CS-96-165, Carnegie Mellon University, School of Computer Science, Pittsburgh, PA, September 1996.
2. Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(l):18-36, February 1990.
3. AP: Lean tableau-based deduction. Journal of Automated Reasoning, 15(3):339-358, 1995.
4. Melvin Fitting. First Order Logic and Automated Theorem Proving. Springer-Verlag, 1990.
5. Jean H. Gallier. Logic for Computer Science: Foundations of Automatic Theorem Proving. John Wiley and Sons, 1987.
6. Schlumberger Inc. Cyberflex, http://www.cyberflex.austin.et.slb.com, 1997.
7. JavaSoft Inc. Javacard API. http://www.javasoft.com/products/javacard/, 1997.
8. Francis J. Pelletier. Seventy-five problems for testing automatic theorem provers. Journal of Automated Reasoning, 2:191-216, 1986.
9. Bernhard Beckert and Rajeev Gore. Free variable tableaux for propositional modal logics. In D Galmich, editor, Proceedings of the International Conference on Theorem Proving with Analytic Tableaux and Related Methods, volume Lecture Notes in Artificial Intelligence of LNCS, pages 91-106. Springer, May 1997.
10. Nicolette Bonnette and Rajeev Goré. A labelled sequent system for tense logic Kt. In These proceedings, 1998.