Secure Prolog Based Mobile Code.
Seng Wai LokeAndrew DavisonPublished in: Theory Pract. Log. Program. (2001)
Keyphrases
- mobile devices
- logic programming
- source code
- mobile phone
- programming language
- mobile environments
- expert systems
- lightweight
- mobile learning
- logic programming language
- constraint logic programming
- protection scheme
- mobile users
- mobile computing
- mobile networks
- mobile commerce
- wireless medium
- mobile communication
- factor authentication
- heterogeneous platforms
- knowledge base
- mobile services
- mobile applications
- context aware
- encryption scheme
- security mechanisms
- security analysis
- sensitive data
- security requirements
- user authentication
- multi party
- logic programs
- knowledge representation
- high level