Secure Prolog-Based Mobile Code

Details Secure Prolog-Based Mobile Code Secure Prolog-Based Mobile Code

2004-06-07

arxiv.org/abs/cs/0406012v1

Theory and Practice of Logic Programming, vol. 1, no. 3, 2001

Computer Science

Programming Languages

Appeared in Theory and Practice of Logic Programming, vol. 1, no. 3, 2001

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Secure Prolog-Based Mobile Code does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Secure Prolog-Based Mobile Code, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Secure Prolog-Based Mobile Code will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-594570