Rajeev Gore, Lan Duy Nguyen  Home/Search
Context
Related
| anu.edu.au/pub/papers/go...cardkt.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: anu.edu.au/~rpg/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We describe an implementation of a Java program to perform automated deduction in propositional multi-modal logics on a Java smart card. The tight space limits of Java smart cards make the implementation non-trivial. A potential application is to ensure that applets down-loaded o# the internet conform to personalised security permissions stored on the Java card using a security policy encoded in multi-modal logic. In particular, modal logic may be useful to ensure that previously checked... (Update)
Similar documents (at the sentence level):
10.0%: CardS4: Modal Theorem Proving on Java Smartcards - Goré, Nguyèn (Correct)
Active bibliography (related documents): More All
0.5: An Open Architecture for Secure Interworking Services - Richard Hayton (Correct)
0.3: The PACAP prototype: a tool for detecting Java Card.. - Bieber, Cazin.. (Correct)
0.1: Bytecode verification on Java smart cards - Leroy (2002) (Correct)
Similar documents based on text: More All
0.3: Tableau Methods for Modal and Temporal Logics - Goré (1995) (Correct)
0.2: A Logical Formalisation of the Fellegi-Holt Method of Data .. - Boskovitz, Gore, Hegland (2003) (Correct)
0.2: Tractable Transformations from Modal Provability Logics.. - Demri, Goré (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ gore00cardkt,
author = "Rajeev Gore and Lan Duy Nguyen",
title = "CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security",
booktitle = "Java Card Workshop",
pages = "38-51",
year = "2000",
url = "citeseer.ist.psu.edu/337777.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997
164 ACM Transactions on Computer Systems (context) - Abadi, Burrows et al. - 1990
107 A New Introduction To Modal Logic (context) - Hughes, Cresswell - 1996
52 Center for the Study of Language and Information (context) - Goldblatt, Time et al. - 1987
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, George - 1993
47 Nominal tense logic (context) - Blackburn - 1993
33 Which security policy for multiapplication smart cards - Girard - 1999
25 Autoepistemic modal logics (context) - Shvarts - 1990
8 A labelled sequent system for tense logic Kt - Bonnette, Gore - 1998
6 FACADE: a typed intermediate language dedicated to smart car.. - Grimaud, Lanet et al. - 1999
3 Checking secure interactions of smart card applets - J-L, Wiels et al. - 2000
2 Contributions to Authentication Logics and Analysis of Authe.. (context) - Mathuria - 1997
2 A calculus for access control in distributed systems (context) - Lampson, Abadi et al. - 1993
1 System description: KtSeqC (context) - Boyapati, Gore - 1999
1 Chapter 6: Tableau methods for modal and temporal logics (context) - Gore - 1999
1 CardTAP: Automated theorem proving on a smart card (context) - Slater, Gore et al. - 1998
1 Sun's java web site (context) - Microsystems - 2000
Documents on the same site (http://arp.anu.edu.au/~rpg/publications.html): More
Substructural Logics on Display - Goré (1998) (Correct)
A Labelled Sequent System for Tense Logic K t - Bonnette, Goré (1998) (Correct)
Relations Between Propositional Normal Modal Logics: An Overview - Goré, al. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC