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
DFKI-Kolloquium
AG 1, AG 2, AG 3, AG 4
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 21 July 2000
14:00
-- Not specified --
43.1 - DFKI
101
Saarbrücken
Abstract
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#
Ansprechpartner: Dr. Werner Stephan, #email not disclosed#
Contact
--email hidden
passcode not visible
logged in users only
Uwe Brahm, 04/12/2007 12:18 -- Created document.