An Ambient ASM Model of Client-to-Client Interaction via Cloud Computing and an Anonymously Accessible Docking Service

In our former work we have given a high-level formal model of a cloud service architecture in terms of a novel formal method approach which combines the advantages of the mathematically well-founded software engineering method called abstract state machines and of the calculus of mobile agents called ambient calculus. This paper presents an extension for this cloud model which enables client-to-client interaction in an almost direct way, so that the involvement of cloud services is transparent to the users. The discussed solution for transparent use of services is a kind of switching service, where registered cloud users communicate with each other, and the only role the cloud plays is to switch resources from one client to another. We also show in an example at the end of this paper how our novel client-to-client interaction mechanism can be utilized for the development of the anonymously accessible cloud services.

[1]  Bernhard Thalheim,et al.  Abstract State Services , 2008, ER Workshops.

[2]  Antonio Cisternino,et al.  Ambient Abstract State Machines with applications , 2012, J. Comput. Syst. Sci..

[3]  Luca Cardelli,et al.  Mobility and Security , 2000 .

[4]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[5]  Luca Cardelli,et al.  Abstractions for Mobile Computation , 2001, Secure Internet Programming.

[6]  Bernhard Thalheim,et al.  Semantics in Data and Knowledge Bases , 2008, SDKB.

[7]  Peeter Laud.  Information Security Technology for Applications , 2011, Lecture Notes in Computer Science.

[8]  Yuzuru Tanaka.  Meme media and meme market architectures - knowledge media for editing, distributing, and managing intellectual resources , 2003 .

[9]  Sven Hartmann,et al.  Advances in Conceptual Modeling – Challenges and Opportunities , 2008, Lecture Notes in Computer Science.

[10]  Károly Bósa,et al.  Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines , 2011, SDKB.

[11]  Gregory H. Harris,et al.  Review of "Abstract state machines: a method for high-level system design and analysis" by Egon Börger and Robert Stärk. Springer-Verlag 2003. , 2004, SOEN.

[12]  Bernhard Thalheim,et al.  A formal model for the interoperability of service clouds , 2012, Service Oriented Computing and Applications.

[13]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[14]  Marcelo de Almeida Maia,et al.  Abstractions for Mobile Computation in ASM , 2000, International Conference on Internet Computing.

[15]  Bernhard Thalheim,et al.  A theory of data-intensive software services , 2009, Service Oriented Computing and Applications.

[16]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[17]  Károly Bósa.  An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing , 2013, ICSOFT.

[18]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[19]  Bernhard Thalheim,et al.  Personalisation of web information systems - A term rewriting approach , 2007, Data Knowl. Eng..

[20]  Matthew Hennessy,et al.  A theory of processes with localities , 1992, Formal Aspects of Computing.

[21]  Wouter Joosen,et al.  Security of Web Mashups: A Survey , 2010, NordSec.

[22]  Dexter Kozen,et al.  Kleene algebra with tests , 1997, TOPL.

[23]  Ying Zhang,et al.  Cloud calculus: Security verification in elastic cloud computing platform , 2012, 2012 International Conference on Collaboration Technologies and Systems (CTS).