Multiagent and Grid Systems - Volume 14, issue 4

Authors: Yelalwar, Rajendra | Ravinder, Yerram

Article Type: Research Article

Abstract: Cognitive Radio (CR) is a promising wireless communication system that allows the user in wireless environment to communicate with wide band of frequencies. Spectrum sensing is the most vital function of CR that plays significant role in identifying the available channel in CR environment. Hence, this work introduces the novel cooperative spectrum sensing approach based on the proposed optimal fusion score that enhances spectrum sensing performance. The optimal fusion score finds the required channel availability by training the proposed Levenberg Marquedet (LM), and the Lion Optimization Algorithm (LOA) based Neural Network (LML-NN) classifier and the fuzzy classifier. The inputs for …the classifier training are test statistics based on the Energy Detection (ED), and the Generalized Likelihood Ratio Test (GLRT). These test statistics are derived using the eigenvalues extracted from a received signal covariance matrix. The performance analysis of the system is done by varying the number of sensors in CR and threshold values. The system performance is quantified in terms of probability of detection, probability of false alarm and receiver operating curves. The simulation results confirm that proposed LML-NN algorithm has achieved an improved probability of detection and reduced false alarm rate as compared to the existing eigenvalue based CSS model. Show more

Keywords: Cognitive radio, cooperative spectrum sensing, optimal fusion score, levenberg marquedet, lion optimization algorithm

DOI: 10.3233/MGS-180294

Citation: Multiagent and Grid Systems, vol. 14, no. 4, pp. 321-336, 2018

Authors: Belghiat, Aissam | Chaoui, Allaoua

Article Type: Research Article

Abstract: Modelling and verification of complex systems including mobile agent-based software systems are a painful task, because of different constraints such as mobility and security which must be taken into account to build correct software. This is what strongly hindered their evolution in preceding years in comparison to the success enjoyed by object oriented systems. UML has contributed largely in the success of object oriented systems. Mobile UML is a proposed extension to UML for modelling mobile agent-based software systems, and it inherits the problem of no precise formal semantics due to its semi-formal nature. This paper aims to build a …semi-formal/formal framework that allows modelling and verification of mobile agent-based applications. First, a mobile agent-based application is modeled using Mobile UML diagrams. Then, an automatic translation of these diagrams to π -calculus specifications is proposed. Finally, the derived π -claculus specifications are verified and analysed using π -calculus tools. The AToM 3 multi-paradigm tool is used to implement the approach. The result is an integrated framework that allows visual modelling (using Mobile UML diagrams) and formal verification of the behaviour of mobile agent-based applications (using π -calculus tools). Show more

Keywords: Mobile UML, π-calculus, modelling, verification, graph transformation, AToM3

DOI: 10.3233/MGS-180295

Citation: Multiagent and Grid Systems, vol. 14, no. 4, pp. 337-356, 2018

Authors: Arki, Oussama | Zitouni, Abdelhafid | Eddine Dib, Ahmed Taki

Article Type: Research Article

Abstract: In the last years, cloud computing has emerged as a new information technology (IT) model. Which provides an easy way for data processing and storage remotely through a network. Nowadays, cloud storage has become an attractive storage scheme for users to store their data. When users store their files remotely in a cloud storage system, they still worried about the security of their files and the guarantee of the confidentiality and the integrity of them. In this work, we propose a multi-agent framework to provide cloud data storage security. The proposed multi-agent framework enables the security of data in cloud …storage by providing both integrity and confidentiality of data. For this purpose, we proposed a client-side encryption method, which is based on the use of both AES and RSA algorithms, it provides the confidentiality and privacy of data besides the performance. Proof of retrievability based on the use of hash function is adopted in our multi-agent framework, to enable data integrity check. Show more

Keywords: Cloud computing, cloud data storage, multi-agent system, encryption, integrity, confidentiality

DOI: 10.3233/MGS-180296

Citation: Multiagent and Grid Systems, vol. 14, no. 4, pp. 357-382, 2018

Authors: Debnath, S. | Bhuyan, B.

Article Type: Research Article

Abstract: Data outsourcing into the third party cloud server has been radically increasing with the expanding popularity of cloud computing. Recently, researchers are more attentive on privacy preserved secure outsourced data access control due to data sensibility, gradually growth of data in size, dynamic nature of data user, accessing the data in lightweight device etc. Dynamic and efficient revocable data access control using attribute based encryption (ABE) is most prominent technology for such situation. In this article, we are concentrating to summarize several existing approaches to identify the current scenario of outsourced data access control in cloud with respect to security, …privacy and efficient revocation. We are also concern about significant analysis of numerous advanced technologies to achieve dynamic and efficient revocable outsourced data access control for further research with respect to reliability, scalability and efficiency. We have presented here a comprehensive study and analysis of several functionalities of ABE, revocation and privacy preservation. Show more

Keywords: Access control, cloud computing, data outsourcing, privacy, security, attribute revocation

DOI: 10.3233/MGS-180297

Citation: Multiagent and Grid Systems, vol. 14, no. 4, pp. 383-401, 2018

Authors: Boucherit, Ammar | Khababa, Abdallah | Castro, Laura M.

Article Type: Research Article

Abstract: On one hand, Petri nets are widely used as a modeling formalism to assess both structural and behavioral properties of the multi-agent system bacause of their mathematical foundations and the rich underlying analysis tools has developed around them. On the other hand, Maude is a very powerful formal specification language based on rewriting logic that is known as a unifying framework for different types of Petri nets and offers a wide range of analysis techniques. In this paper, we will present a new algorithm allowing the automatic generation of Maude specifications from Petri nets models in order to help …designers to effectively obtain the rewriting logic based specification of their multi-agent systems and then facilitate their analysis, pick up time and stay away from human related errors occurred during the manual preparation of such specification. Show more

Keywords: Automatic code generation, multi-agent systems, Petri nets, rewriting logic

DOI: 10.3233/MGS-180298

Citation: Multiagent and Grid Systems, vol. 14, no. 4, pp. 403-418, 2018

Article Type: Other

DOI: 10.3233/MGS-189290

Citation: Multiagent and Grid Systems, vol. 14, no. 4, pp. 419-, 2018