Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

This paper introduces a new methodology for epistemic logic, to analyze communication protocols that uses knowledge structures, a specific form of Kripke semantics over hostile networks. The paper particularly focuses on automatic verification of authentication protocols. Our approach is based on the actual definitions of a protocol, not on some difficultto-establish justifications. The proposed methodology is different from many previous approaches to automatic verification of security protocols in that it is justification-oriented instead of falsification-oriented, i.e., finding bugs in a protocol. The main idea is based on observations： separating a principal executing a run of protocol from the role in the protocol, and inferring a principal＇s knowledge from the local observations of the principal. And we show analytically and empirically that this model can be easily reduced to Satisfiability （SAT） problem and efficiently implemented by a modern SAT solver.     

Validation and improvement of gamma heating calculation methods for the G.A. Siwabessy multipurpose reactor

Nuclear Science and Techniques - This study presents the RF design of a linear accelerator (linac) operated in single-bunch mode. The accelerator is powered by a compressed RF pulse produced from a...     

Studies on batch adsorptive removal of cadmium and nickel from synthetic waste water using silty clay originated from Balochistan–Pakistan

The potentials of silty clay(SC), acquired from Chaman, Balochistan, were investigated as adsorbent for Ni(Ⅱ)and Cd(Ⅱ) removal from contaminated media. The influence of different operating factors like dose, pH, temperature, and time of contact was explored, and optimum values were noted under batch adsorption method. Isothermal study was conducted with varying concentrations of solutions on optimized conditions and different adsorption models i.e., Langmuir, Freundlich, Temkin and Dubinin–Radushkevich(D–R) isotherm, which were employed to interpret the process. The isothermal data of both Ni(Ⅱ) and Cd(Ⅱ) were well fitted to Langmuir isotherm suggesting the formation of monolayer of metal ions on silty clay. The values of adsorption capacity noted for Ni(Ⅱ) and Cd(Ⅱ) were 3.603 mg·g~(-1) and 5.480 mg·g~(-)1, respectively. Kinetic studies affirmed that pseudo second order(PSO) kinetics was being obeyed by the removal of Ni(Ⅱ) and Cd(Ⅱ). Thermodynamic variables like free energy change(ΔG°), enthalpy change(ΔH°) and entropy change(ΔS°) were calculated. The negative value of ΔG° and the positive values of ΔH° and ΔS° unfolded that the removal process of both metal ions of by SC was spontaneous, endothermic and feasible.     

Assessment on the mechanical,structural, and thermal attributes of green graphene-based water soluble polymer electrolyte composites

In the current study, graphene oxide (GO) was prepared using green chemistry with modified Hummer's method without incorporating sodium nitrate (NaNO₃). Solvent casting was employed to fabricate GO-doped poly(ethylene oxide) (PEO), that is, PEO/GO composites with various proportion of Na₂SO₄ and were then subjected to characterization via advanced spectroscopic techniques for different physicochemical aspects to estimate their potential applications as marketable products. XRD analysis explored that fabricated composites are more crystalline than neat PEO. PEO/GO/Na₂SO₄ composite films offered maximum crystallinity. SEM displayed the same trend. TG/DTA thermogram exposed better thermal stability than pristine polymer. FTIR studies confirmed complexation among hybrid's components. Elongation-at-break and Young's modulus displayed an enhancing behavior with an incremental loading of salt and filler. In terms of mechanical performance, composite of PEO with 0.37 wt % GO and 0.08 g salt was found to be an ideal composition during the course of study. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2020 , 137, 48376.     

Radiation induced decontamination of Cr(Ⅵ), Cu(Ⅱ) and phenol in some tannery effluents

Industrialization has led to a number of environmental problems, such as release of toxic metals and other toxic organic and inorganic compounds to the environment. Among all, the rapid expansion of leather related industries in Pakistan have resulted in considerable environmental problems and effluents from processing of both domestic and imported hides and skins have increased pollution to alarming levels. Some tannery effluents of Peshawar area investigated in the present study showed high concentrations of Cr(Ⅵ) (2.7-12.6 mg/L), Cu(Ⅱ) (2.6-11.4 mg/L) and phenol (0.1-4.2 mg/L). These contaminants are very toxic and must be removed from effluents before releasing into water bodies. A new technique of gamma irradiation has been investigated to decrease the load of COD and concentrations of Cr(Ⅵ), Cu(Ⅱ) and phenol associated with tannery effluents to the permitted values. It was observed that concentration of Cr(Ⅵ) in the effluents can be brought to the permitted level by applying radiation dose of 3 kGy. A radiation dose of 2.5 kGy was required to remove more than 95% of Cu(Ⅱ) and 100 % degradation of phenol in tannery effluents could be achieved by only one kGy of radiation dose.     

The effects of physical refining on the formation of 3-monochloropropane-1,2-diol esters in relation to palm oil minor components

The formation of 3-monochloropropane-1,2-diol (3-MCPD) esters in refined palm oil during deodorisation is attributed to the intrinsic composition of crude palm oil. Utilising D-optimal design, the effects of the degumming and bleaching processes on the reduction in 3-MCPD ester formation in refined palm oil from poor-quality crude palm oil were studied relative to the palm oil minor components that are likely to be their precursors. Water degumming remarkably reduced 3-MCPD ester formation by up to 84%, from 9.79 mg/kg to 1.55 mg/kg. Bleaching with synthetic magnesium silicate caused a further 10% reduction, to 0.487 mg/kg. The reduction in 3-MCPD ester formation could be due to the removal of related precursors prior to the deodorisation step. The phosphorus content of bleached palm oil showed a significant correlation with 3-MCPD ester formation.     

Comparison of electrothermal and hydride generation atomic absorption spectrometry for the determination of total arsenic in broiler chicken

The purpose of this study was to estimate total arsenic concentration in different tissues (leg, breast, liver and heart) of broiler chicken by hydride generation atomic absorption spectrometry (HGAAS) and graphite furnace atomic absorption spectrometry (GFAAS), prior to microwave assisted acid digestion. The accuracy of the techniques was evaluated by using certified reference material DORM-2. The percentage recoveries of total As were observed as 100.6% and 99.4% for HGAAS and GFAAS, respectively. The precision of the techniques, expressed as relative standard deviation, was observed as 1.71% and 4.18% for HGAAS and GFAAS measurements, respectively. The limits of detection for HGAAS and GFAAS were 0.025 μg/g and 0.052 μg/g, respectively. The concentrations of total arsenic in different tissues of broiler chicken were found in the range of 2.19–5.28, 2.15–5.22, 2.97–7.17 and 2.68–6.36 μg/g for leg, breast, liver and heart tissues, respectively. At a mean level of chicken consumption (60 g/person/day), people may ingest in the range of 72.0–85.1 μg arsenic/person/day from chicken alone.     

Ergogenic Attributes of Young and Mature Coconut (Cocos nucifera L.) Water Based on Physical Properties,Sugars and Electrolytes Contents

The present work aimed to compare the main ergogenic attributes of two commercialized stages (young and mature) of coconut water (CW) obtained from four coconut varieties. The changes of electrolytes and sugars in CW upon maturation were quantified by inductively coupled plasma mass spectrophotometer and high-performance liquid chromatography, respectively. Based on the electrolyte profiling, potassium yielded the highest amount (ranging from 237.41 to 361.20 mg/100 mL) followed by sodium, magnesium, calcium, iron, manganese, copper, selenium, and zinc across all the maturity stages tested. For sugars, there were lower amounts of fructose and glucose, but a higher amount of sucrose with the maturation of the fruits. In conclusion, the amount of beneficial nutrients in the form of sugars and minerals was higher than that of young CW, and the ergogenic attributes of mature CW especially from MATAG variety (M-MATAG) were the best to be exploited further in the development of natural energy drinks.