Abstract
As a distributed process calculus with localities and mobility of computational entities, Seal calculus is playing an important role in expressing key features such as security and mobility of Internet programming directly. However, little implementation technique proposed for the calculus, partly due to the complication of mobile computation, which fusions three important techniques: concurrency, distribution and mobility at the same time. The abstract machine PSN for a distributed implementation of the Seal calculus is presented. In PSN the logical structure of a seal system and its physical distribution are separated which induces a more simple and clear implementation. Moreover, an operational semantics description of the Seat calculus based on PSN is given.
Chapter PDF
Similar content being viewed by others
References
J. Vitek and G. Castagna. Seal: A Framework for secure Mobile Computations. In Internet Programming Languages, number 1686 in Lectures Notes in Computer Science, pages 47–77. Springer-Verlag, 1999.
G. Castagna and F. Zappa. The Seal Calculus Revisited. In Proceedings 22th FST-TCS, number 2556 in LNCS. Springer, 2002.
M. Bugliesi. and G. Castagna. Secure safe ambients. In Proc. of POPL’01, pages 222–235. ACM Press, 2001.
F. Nielson, H. Riis Nielson, R.R. Hansen, and J.G. Jensen. Validating firewall in mobile ambients. In Proc. CONCUR’ 99, number 1664 in Lecture Notes in Computer Science, pages 463–477. Springer-Verlag, 1999.
J. Vitek and G. Castagna. Towords a calculus of secure mobile computations. Proceedings Workshop on Internet Programming Languages. Chicago, Illinois, USA, Lectures Notes in Computer Science 1686, Springer, 1998.
L. Cardelli and A.D. Gordon. Mobile Ambients. In M. Nivat, editor, Foundations of Software Science and Computational Structures, number 1378 in LNCE, Springer-Verlag, 1998, 140–155.
L. Cardelli, Ambit.http://www.luca.demon.co.uk/Ambit.html. 1997.
L. Cardelli. Mobile ambient synchronization, Technical Report 1997-013, Digital SRC, 1997.
Stephan Diehl. A generative methodology for the design of abstract machines. Science of Computer Programming. 2000. 38. 125–142.
G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, vol.96, 1992.
D. Sangiorgi and A. Valente. A Distributed Abstract Machine for Safe Ambients. In Pro ceedings of the 28th ICALP, volume 2076 of LNCS. Springer-Verlag, 2001.
Zhang Jing, Zhang Li-Cui and Jin Cheng-Zhi. A Distributed Implementation for the Seal Calculus. To Appear in Proceedings of the First International Symposium on Pervasive Computations and Applications(SPCA06). Urumchi, Xin Jiang, P.R.China.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Jing, Z., Li-Cui, Z., De-Gui, G. (2006). Operational Semantics of the Seal Calculus. In: Shi, Z., Shimohara, K., Feng, D. (eds) Intelligent Information Processing III. IIP 2006. IFIP International Federation for Information Processing, vol 228. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-44641-7_64
Download citation
DOI: https://doi.org/10.1007/978-0-387-44641-7_64
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-44639-4
Online ISBN: 978-0-387-44641-7
eBook Packages: Computer ScienceComputer Science (R0)