Extending Execution Tracing for Mobile Code Security
Tan, Hock Kim and Moreau, Luc (2002) Extending Execution Tracing for Mobile Code Security. Second International Workshop on Security of Mobile MultiAgent Systems (SEMAS'2002), Bologna, Italy, , 51-59.
Download
Full text not available from this repository.
Description/Abstract
The problem of protecting mobile code from both denial-of-service and state tampering attacks by malicious hosts are not well addressed in existing techniques for mobile code security. We propose a possible approach based on extending an existing mobile code security technique: cryptographic tracing. This is achieved through the introduction of a trusted third party, the verification server, which undertakes the verification of execution traces on behalf of the agent owner. The interaction between the verification servers and host platforms in the new protocol is outlined. Security properties of the protocol are verified by modelling the system in CSP and checking the resulting state transitions using the model checker FDR. Limitations of this approach to verification are then briefly discussed.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Organisation: DFKI Saarbrucken Series: DFKI Research Report, RR-02-03 Event Dates: June 2002 |
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 257602 |
| Date Deposited: | 13 Jun 2003 |
| Last Modified: | 02 Mar 2012 11:38 |
| Contributors: | Tan, Hock Kim (Author) Moreau, Luc (Author) Fischer, Klaus (Editor) Hutter, Dieter (Editor) |
| Date: | 2002 |
| Additional Information: | Organisation: DFKI Saarbrucken Series: DFKI Research Report, RR-02-03 Event Dates: June 2002 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/257602 |
Actions (login required)
 |
View Item |
