Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol

In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe for any user to borrow or lend the device as it may cause private data of the user to be public. To safeguard the user data and also to preserve user privacy we propose and model the technique of ownership authentication transfer. The user who is willing to sell the device has to transfer the ownership of the device under sale. Once the device is sold and the ownership has been transferred, the old owner will not be able to use that device at any cost. Either of the users will not be able to use the device if the process of ownership has not been carried out properly. This also takes care of the scenario when the device has been stolen or lost, avoiding the impersonation attack. The aim of this paper is to model basic process of proposed ownership authentication transfer protocol and check its safety properties by representing it using CSP and model checking approach. For model checking we have used a symbolic model checker tool called NuSMV. The safety properties of ownership transfer protocol has been modeled in terms of CTL specification and it is observed that the system satisfies all the protocol constraint and is safe to be deployed.Comment: 16 pages, 7 figures,Submitted to ADCOM 201

An iconic programming language for sensor-based robots

In this paper we describe an iconic programming language called Onika for sensor-based robotic systems. Onika is both modular and reconfigurable and can be used with any system architecture and real-time operating system. Onika is also a multi-level programming environment wherein tasks are built by connecting a series of icons which, in turn, can be defined in terms of other icons at the lower levels. Expert users are also allowed to use control block form to define servo tasks. The icons in Onika are both shape and color coded, like the pieces of a jigsaw puzzle, thus providing a form of error control in the development of high level applications

On Heterodox Economics

In the literature of Economics itself, branches have evolved thanks to different positions held by economists on different economic issues, and most importantly, on the efficacy and desirability of economic policies to address such economic issues. The so-called Classical and Keynesian poles apart positions have stood as the firm foundation for the germination of a couple of developments in economics. But, it may be reiterated that these positions have been premised upon several assumptions which often go diametrically opposite to real-world circumstances. The growing concern of the disconnect of the mainstream economics from the conditions of the real world has made a vacuum. The attention that heterodox economics has been receiving should be regarded as a response to this fill this vacuum. Heterodox economics has grown to occupy an important place in modern economic thinking, and in the years to come, in the field of teaching as well, the elements discussed in heterodox economic will have an indisputable place. In the field of policy making, too, the principles of heterodox have been used. Nevertheless, mainstream economics does not seem to have been shaken by the claims of heterodox economics. For economics to continue as rigorous social science, much celebrated neo-classical tools and its ideas are still more important

How do women view the online learning of their children? A Study of Alappuzha District

This paper discusses the issues of online education from the perspective of women, an important agent in the education system in their capacity of mothers. The study enquires into the issues of college going students in the Alappuzha district of Kerala state. The study has found that despite the low economic profile of households, parent give utmost importance to the online education of their children. Most of them have ensured that their children have necessary gadgets and internet services to access online classes. Only 30 percent of the women opine that online education has added burden to their household budget. 60 percent of women appear to have been satisfied with the online classes

Antibiotic sensitivity of Vibrio parahaemolyticus strains

The strains of Vibrio parahaemolyticus isolated from water, sediment, plankton, fish and prawn of Cochin backwater were tested for sensitivity to ten antibiotics namely, ampicillin, chloramphenicol, gentamycin, kanamycin, neomycin, oxytetracycline, penicillin, polymyxin-B, streptomycin and sulphadiazine. Of the 120 isolates tested, 96.7 and 93.3% were sensitive to gentamycin and chloramphenicol respectively. No strain was sensitive to penicillin and only 5% were sensitive to kanamycin. Isolates from fish and prawn showed higher resistance to ampicillin and none of them was sensitive to kanamycin. Multiple resistant V. parahaemolyticus strains were more in prawn than in other samples