Secure Prolog-Based Mobile Code
| dc.creator | Loke, Seng Wai | |
| dc.creator | Davison, Andrew | |
| dc.date | 2004-06-07 | |
| dc.date.accessioned | 2026-07-25T16:49:38Z | |
| dc.description | 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. | |
| dc.description | Appeared in Theory and Practice of Logic Programming, vol. 1, no. 3, 2001 | |
| dc.identifier | https://arxiv.org/abs/cs/0406012 | |
| dc.identifier | http://arxiv.org/abs/cs/0406012 | |
| dc.identifier | Theory and Practice of Logic Programming, vol. 1, no. 3, 2001 | |
| dc.identifier.uri | https://dspace.dare.co.zw/handle/123456789/43389 | |
| dc.subject | Programming Languages | |
| dc.subject | D.1.6; D.3.2 | |
| dc.title | Secure Prolog-Based Mobile Code | |
| dc.type | text |