Modeling and Formal Analysis of a Client-Server Application for Cloud Services

Author(s):  
Paolo Arcaini ◽  
Roxana-Maria Holom ◽  
Elvinia Riccobene
Author(s):  
Е.Е. Истратова ◽  
Е.Н. Антонянц ◽  
А.О. Амельченко

В статье представлены результаты модернизации ранее разработанного клиент-серверного приложения для исследования характеристик корпоративной сети. Результаты проведенных исследований позволили сделать вывод о том, что усовершенствованный программный продукт можно применять для сбора статистических данных о характеристиках сетевого подключения при передаче информации в корпоративной сети компании. The article presents the results of the modernization of a previously developed client-server application for the study of the characteristics of the corporate network. The results of the conducted research allowed us to conclude that the improved software product can be used to collect statistical data on the characteristics of the network connection when transmitting information in the corporate network of the company.


2013 ◽  
Author(s):  
José M. Gonçalves ◽  
André Muga ◽  
Luís Santos Pereira ◽  
João Rolim ◽  
Mikhail G. Horst

2013 ◽  
Vol 4 (1) ◽  
pp. 1-15
Author(s):  
Ahmad H. Fauzi ◽  
Hamish Taylor

P2P e-commerce applications have lower operational costs and inherently more scalable than conventional client-server online trading. Community Trust Stores (CTS) provide reliable and secure storage services for peers involved in P2P e-trading by storing trust data for the peers. Freely available cloud services can host the Community Trust Store and provide 24/7 availability to participating trading peers avoiding the need to pay for commercial trusted third party services. However, the community store must provide a certain level of assurance and support suitable security measures in order to support e-trading within the P2P application. It must also support community management of the store including jointly signed trading contract. The Community Trust Stores also stores reputation report and trading outcomes as future reference for others. New membership for P2P e-commerce group must be sponsored by current members.


Author(s):  
R. Singh

In this article we implement a client server model using limited-used key generation scheme (Kungpisdan, Le, & Srinivasan, 2004) to generate a set of session keys that are never transmitted, which means that there is no chance for the attacker to sniff the packets and retrieve keys while they are being transmitted. These session keys are used for encrypting and hashing the data to be transmitted from mobile client device to the servers in wired network and vice versa. The updating of the session keys used in this technique does not rely on any long-term shared key, instead the process is based upon the last session key used. This technique of elevating the frequency of the key update to the next possible level makes the system much more secure than the other present techniques. In addition to providing better security, this technique also enhances the performance of a limited resource device by avoiding the repeated generation of keys on it.


2013 ◽  
pp. 1410-1425
Author(s):  
Gilles Gesquière ◽  
Alexis Manin

Due to the advances in computer graphics and improved network speed it is now possible to navigate in 3D virtual world in real time. Until now, technologies employed require to install standalone application or plugins on navigators. The arrival of HTML 5 brings news solutions to visualize 3D data in a browser with WebGL. Several globe projects have proven that such technologies can be employed. Unfortunately, demonstrations are often based on proprietary formats to exchange or to store data. In this work, we propose to use CityGML: a standard provided by the Open Geospatial Consortium. CityGML files are imported in our Environment Editor. With several tools that we present in this paper, data are processed and stored. A client server application is also presented to permit the visualization of geometry and semantic in a navigator.


1997 ◽  
Vol 12 (3) ◽  
pp. 187-196 ◽  
Author(s):  
Graham Low ◽  
Richard Looi

Client/server application development is becoming increasingly popular in commercial organizations. However, previous research has found that current application development methodologies provide little or no support for client/server computing possibly due to the relative newness of the technology in commercial environments. This research is the first step in demonstrating the applicability of the client/server methodology enhancements proposed in a commercial Management Information System (MIS) environment. It examines the application of traditional development methodologies to the client/server environment, the problems associated in using these methodologies and the respondent's rating of the importance of the various client/server application development issues included in the proposed methodology.


Sign in / Sign up

Export Citation Format

Share Document