Campus Event Calendar

Event Entry

New for: D1, D2, D3, D4

What and Who

Automated Multi-modal Deduction on Java Cards

Prof. Dr. Rajeev Gore
Australian National University, Canberra
AG 1, AG 2, AG 3, AG 4  
AG Audience

Date, Time and Location

Friday, 21 July 2000
-- Not specified --
43.1 - DFKI


We describe an implementation of a Java program to perform automated deduction in 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 off the internet conform to personalised security permissions encoded on the Java card using a protocol based upon multi-modal logic: that is, by using multi-modal logic to express notions of permissions and obligations, we can turn the security check into an on-board theorem proving task.

Ansprechpartner: Dr. Werner Stephan, #email not disclosed#


--email hidden
passcode not visible
logged in users only

Uwe Brahm, 04/12/2007 12:18 -- Created document.