Mobile Agents and Security

Mobile Agents and Security

4.11 - 1251 ratings - Source



New paradigms can popularize old technologies. A new \standaloneq paradigm, the electronic desktop, popularized the personal computer. A new \connectedq paradigm, the web browser, popularized the Internet. Another new paradigm, the mobile agent, may further popularize the Internet by giving people greater access to it with less eort. MobileAgentParadigm The mobile agent paradigm integrates a network of computers in a novel way designed to simplify the development of network applications. To an application developer the computers appear to form an electronic world of places occupied by agents. Each agent or place in the electronic world has the authority of an individual or an organization in the physical world. The authority can be established, for example, cryptographically. A mobile agent can travel from one place to another subject to the des- nation placea€™s approval. The source and destination places can be in the same computer or in di erent computers. In either case, the agentinitiates the trip by executing a \goq instruction which takes as an argument the name or address of the destination place. The next instruction in the agenta€™s program is executed in the destination place, rather than in the source place. Thus, in a sense, the mobile agent paradigm reduces networking to a program instruction. A mobile agent can interact programmatically with the places it visits and, if the other agents approve, with the other agents it encounters in those places.Programs and their proofs: an algebraic approach. ... Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. ... Stanford Pascal verifier user manual. ... In Proceedings of the First Formal Methods in Software Practice Workshop, 1996.


Title:Mobile Agents and Security
Author: Giovanni Vigna
Publisher:Springer - 1998-06-29
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA