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

Phonon Anomalies, Orbital-Ordering and Electronic Raman Scattering in iron-pnictide Ca(Fe0.97Co0.03)2As2: Temperature-dependent Raman Study

We report inelastic light scattering studies on Ca(Fe0.97Co0.03)2As2 in a wide spectral range of 120-5200 cm-1 from 5K to 300K, covering the tetragonal to orthorhombic structural transition as well as magnetic transition at Tsm ~ 160K. The mode frequencies of two first-order Raman modes B1g and Eg, both involving displacement of Fe atoms, show sharp increase below Tsm. Concomitantly, the linewidths of all the first-order Raman modes show anomalous broadening below Tsm, attributed to strong spin-phonon coupling. The high frequency modes observed between 400-1200 cm-1 are attributed to the electronic Raman scattering involving the crystal field levels of d-orbitals of Fe2+. The splitting between xz and yz d-orbital levels is shown to be ~ 25 meV which increases as temperature decreases below Tsm. A broad Raman band observed at ~ 3200 cm-1 is assigned to two-magnon excitation of the itinerant Fe 3d antiferromagnet.Comment: Accepted for Publication in JPC

Effects of probiotics and antibiotics on biofilms

Experiments were conducted to study the effects of probiotics and antibiotics on 3-months old biofilms formed on three different substrates, namely glass, granite and fiberglass reinforced plastic. The variations in heterotrophic bacterial populations associated with biofilms were monitored for a period of one month after one-time application of the probiotic Biogreen (Gee Key Marine Pvt. Ltd, Chennai) at 0.2 mg lˉ¹ and the antibiotic tetracycline at 1.0 mg lˉ¹. The variations in heterotrophic bacterial populations associated with biofilms were compared with that of control to analyse the effects of probiotics and antibiotics on biofilms. The observations showed that the biofilm formation and succession in aquatic environment is substrate dependent and that the resistance to antibiotics also depends on the substrate. The probiotics did not show significant effect on biofilms