Abstract
The recent innovation of telecommunication and networking technology is enabling easy and flexible distribution of digital multimedia contents. However, such rapid progress has brought about various problems on intellectual properties and security. We are investigating a technique to solve the problem called active contents based on hierarchical structures of mobile agents. The agents work as wrappers of contents and can easily manage the policies for contents distribution. In this paper, we give a formal model of active contents in order to establish rigorous foundations for the active contents technique, especially the system of the policy control mechanisms. Using the model, we can verify if the behaviors of the active contents satisfy the given policies or not. An example of the redistribution prohibition policy illustrates how the verification works.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cardelli, L.: Mobility and security. In: Bauer, F.L., Mult, M.C. (eds.) Foundations of Secure Computation. NATO Science Series: Computers & Systems Sciences, pp. 3–37 (2000)
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Damianou, N., Duray, N., Lupu, E., Sloman, M.: The Ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 17–28. Springer, Heidelberg (2001)
Gelernter, D.: Generative communication in Linda. ACM Computing Surveys 7(1), 80–112 (1985)
Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)
Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime:Amiddleware for physical and logical mobility. In: Proc. of ICDCS-21, pp. 233–524. IEEE Computer Society, Los Alamitos (2001)
Satoh, I.: A formalism for hierarchical mobile agents. In: Proc. of PDSE 2000, pp. 165–172. IEEE Computer Society, Los Alamitos (2000)
Satoh, I.: A hierarchical model of mobile agents and its multimedia applications. In: Proc. of MMNS 2000, pp. 103–108. IEEE Computer Society, Los Alamitos (2000)
Satoh, I.: Mobilespaces: A framework for building adaptive distributed applications using a hierarchical mobile agent system. In: Proc. of ICDCS 2000, pp. 161–168. IEEE Computer Society, Los Alamitos (2000)
Tahara, Y., Ohsuga, A., Honiden, S.: Mobile agent security with the IPEditor development tool and the Mobile UNITY language. In: Proc. of Agents 2001, pp. 656–662. ACM Press, New York (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tahara, Y., Yoshioka, N., Honiden, S. (2003). A Formal Model of Active Contents Based on the Ambient Calculus. In: Horlait, E., Magedanz, T., Glitho, R.H. (eds) Mobile Agents for Telecommunication Applications. MATA 2003. Lecture Notes in Computer Science, vol 2881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39646-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-39646-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20298-1
Online ISBN: 978-3-540-39646-8
eBook Packages: Springer Book Archive