Skip to main content
×
Home
    • Aa
    • Aa
  • Theory and Practice of Logic Programming, Volume 1, Issue 3
  • May 2001, pp. 321-357

Secure Prolog-based mobile code

  • SENG WAI LOKE (a1) and ANDREW DAVISON (a2)
  • DOI: http://dx.doi.org/10.1017/S1471068401001211
  • Published online: 01 May 2001
Abstract

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.

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords: