Hostname: page-component-74656f9884-rdgjk Total loading time: 0 Render date: 2026-11-07T03:20:45.385Z Has data issue: false hasContentIssue false

Secure Prolog-based mobile code

Published online by Cambridge University Press:  15 June 2001

SENG WAI LOKE
Affiliation:
DSTC, Monash University, Caulfield, Victoria 3145, Australia (e-mail: swloke@dstc.monash.edu.au)
ANDREW DAVISON
Affiliation:
Department of Computer Engineering, Prince of Songkla University, Hat Yai, Songkhla 90112, Thailand (e-mail: dandrew@ratree.psu.ac.th)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

LogicWeb mobile code consists of Prolog-like rules embedded in Web pages, thereby adding logic programming behaviour to those pages. Since LogicWeb programs are downloaded from foreign hosts and executed locally, there is a need to protect the client from buggy or malicious code. A security model is crucial for making LogicWeb mobile code safe to execute. This paper presents such a model, which supports programs of varying trust levels by using different resource access policies. The implementation of the model derives from an extended operational semantics for the LogicWeb language, which provides a precise meaning of safety.

Information

Type
Regular Paper
Copyright
© 2001 Cambridge University Press