Mobile Code for Key Propagation

We introduce the concept of keylets, which are mobile code used to control the propagation of keys in a system, as well as a technique for mobile agent code security that involves encryption of partitioned code components. Keylets are used to support this technique by directing the distribution of keys that decrypt the encrypted components. Formalisation for keylet operations is presented, and a scenario illustrating the use of keylets to implement the technique for mobile agent code security is detailed.