68,372 research outputs found
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
Seed Biopriming a Novel Tool for Production of Disease Free Fodder
Indian agriculture is characterized by intertwined practices of crop production and animal husbandry. Domesticated animals have been energy source for farm operations and protein source. Fodder crops vitally serve as main source of food for the livestock. Major limitations in production of fodder crops are poor distribution of resources due to their noncommercial status, non-availability of quality/certified seeds and various diseases
Wildfire Emissions and Their Interaction with Urban and Rural Pollution: Data and Simulations
In recent years NASA has conducted a series of airborne campaigns (e. g. SEAC4RS*, ARCTAS, INTEX-A/B) over North America using an instrumented DC-8 aircraft equipped to measure a very large number of gaseous and aerosol constituents including several unique tracers. In these campaigns wild fires were extensively sampled near source as well as downwind after aging. The data provided detailed information on the composition and chemistry of fire emissions under a variety of atmospheric conditions as well as their interactions with rural and urban air pollution. Major fires studied including the California Rim fire in 2013 (SEAC4RS), the 2008 California wildfires (ARCTAS), and the Alaskan fires downwind over eastern US (INTEX-A). Although some fire plumes contained virtually no O3 enhancement, others showed significant ozone formation. Over Los Angeles, the highest O3 mixing ratios were observed in fire influenced urban air masses. Attempts to simulate these interactions using state of the art models were only minimally successful and indicated several shortcomings in simulating fire emission influences on urban smog formation. A variety of secondary oxidation products (e. g. O3, PAN, HCHO) were substantially underestimated. We will discuss the data collected in fire influenced air masses and their potential air quality implications
Crystal growth and ambient and high pressure study of the reentrant superconductor Tm_2Fe_3Si_5
We report single crystal growth of the reentrant superconductor Tm_2Fe_3Si_5,
and measurements of the anisotropic static magnetic susceptibility \chi(T) and
isothermal magnetization M(H), ac susceptibility \chi_ac(T), electrical
resistivity \rho(T) and heat capacity C(T) at ambient pressure and \chi_ac(T)
at high pressure. The magnetic susceptibility along the c-axis \chi_c(T) shows
a small maximum around 250 K and does not follow the Curie-Weiss behavior while
the magnetic susceptibility along the a-axis \chi_a(T) follows a Curie-Weiss
behavior between 130 K and 300 K with a Weiss temperature \theta and an
effective magnetic moment \mu_eff which depend on the temperature range of the
fit. The easy axis of magnetization is perpendicular to the c-axis and
\chi_a/\chi_c = 3.2 at 1.8 K. The ambient pressure \chi_ac(T) and C(T)
measurements confirm bulk antiferromagnetic ordering at T_N = 1.1 K. The sharp
drop in \chi_ac below T_N is suggestive of the existence of a spin-gap. We
observe superconductivity only under applied pressures P\geq 2 kbar. The
temperature-pressure phase diagram showing the non-monotonic dependence of the
superconducting transition temperature T_c on pressure P is presented.Comment: 7 pages, 8 figure
- …