Detection and Filtering of Collaborative Malicious Users in Reputation System using Quality Repository Approach

Online reputation system is gaining popularity as it helps a user to be sure about the quality of a product/service he wants to buy. Nonetheless online reputation system is not immune from attack. Dealing with malicious ratings in reputation systems has been recognized as an important but difficult task. This problem is challenging when the number of true user's ratings is relatively small and unfair ratings plays majority in rated values. In this paper, we have proposed a new method to find malicious users in online reputation systems using Quality Repository Approach (QRA). We mainly concentrated on anomaly detection in both rating values and the malicious users. QRA is very efficient to detect malicious user ratings and aggregate true ratings. The proposed reputation system has been evaluated through simulations and it is concluded that the QRA based system significantly reduces the impact of unfair ratings and improve trust on reputation score with lower false positive as compared to other method used for the purpose.Comment: 14 pages, 5 figures, 5 tables, submitted to ICACCI 2013, Mysore, indi

Verification of Interactive Automated Air Traffic Control System in a Model Driven Approach

Nowadays, Model-Driven Architectures (MDAs) are gaining more popularity because they offer an increase in productivity by improving compatibility between systems (reuse of standardized models), simplifying the process of design (models of recurring design patterns in the application domain), and supporting communication between individuals and different teams working on the system. Development of MDA software systems requires high integrity, with verification before deployment in critical applications. Verifying different properties of the system at the beginning of the development is highly desirable as the first line of defense against design faults. In this paper, we have modeled an Automated Air Traffic Control System (AATCS) using MDA and converted into the Process Meta Language (PROMELA) model, which is used by Simple Promela Interpreter (SPIN) model checker for verification. The entities in our model are Airplane, Ground Station, SWIM data and Data store. The communication between entities is modeled as transitions. The model is checked for conformance with its specifications to detect flaws using formal techniques to improve reliability and quality

MODELLING AND VERIFICATION OF EXTENSIBLE AUTHENTICATION PROTOCOL USING SPIN MODEL CHECKER

ABSTRAC