Sharif Digital Repository

Yeh et al. have recently proposed a mutual authentication protocol based on EPC Class-1 Gen.-2 standard. They claim their protocol is secure against adversarial attacks and also provides forward secrecy. In this paper we show that the proposed protocol does not have cited security features properly. A powerful and practical attack is presented on this protocol whereby the whole security of the protocol is broken. Furthermore, Yeh et al.'s protocol does not assure the untraceabilitiy and backwarduntraceabilitiy attributes. We also will propose our revision to safeguard the Yeh et al.'s protocol against cited attacks  

Many applications, such as e-passport, e-health, credit cards, and personal devices that utilize Radio frequency Identification (RFID) devices for authentication require strict security and privacy. However, RFID tags suffer from some inherent weaknesses due to restricted hardware capabilities and are vulnerable to eavesdropping, interception, or modification. The synchronization and untraceability characteristics are the major determinants of RFID authentication protocols. They are strongly related to privacy of tags and availability, respectively. In this paper, we analyze a new lightweight RFID authentication protocol, Song and Mitchell, in terms of privacy and security. We prove that not... 

The developing of RFID systems in sensitive applications like e-passport, e-health, credit cards, and personal devices, makes it necessary to consider the related issues such as maximum reading distance, communication speed and data security. The use of signal processing methods is an efficient and convenient way to achieve the maximum reading distance and communication rate. However, the signal processing techniques are not adequate to provide a reasonable level of security and privacy for RFID systems. Thus, it is necessary to employ specific authentication protocols which assure data security and preserve the user’s privacy. Among other security and privacy characteristic of an RFID... 

The reaction kinetics of the dehydration step of the condensation reaction between phenylhydrazine and benzaldehyde was studied spectrophotometrically in aqueous solutions of ethanol, propan-2-ol and 2-methylpropan-2-ol at pH 11.5 at 25 °C. The apparent second-order rate constants k2app of the reaction increase with mole fraction of water in all the aqueous solutions. Single-parameter correlations of log k2app versus π* (dipolarity/polarizability), α (hydrogen-bond donor acidity) and ETN (normalized polarity parameter) were obtained in all the aqueous solutions. In all cases, the correlations versus ETN and π* are acceptable, but correlations versus α are poor (e.g. in aqueous solutions of... 

The development of RFID systems in sensitive applications like e-passport, e-health, credit cards, and personal devices, makes it necessary to consider the related security and privacy issues in great detail. Among other security characteristic of an RFID authentication protocol, untraceability and synchronization are the most important attributes. The former is strongly related to the privacy of tags and their holders, while the latter has a significant role in the security and availability parameters. In this paper, we investigate three RFID authentication protocols proposed by Duc and Kim, Song and Mitchell, and Cho, Yeo and Kim in terms of privacy and security. We analyze the protocol... 

In this paper, we propose a new trust-region method for solving nonlinear systems of equalities and inequalities. The algorithm combines both standard and adaptive trust-region frameworks to construct the steps of the algorithm. The trust-region subproblem is solved in the first iteration using a given initial radius. Then, in each iteration, the standard trust-region method is followed whenever the current trial step is accepted, otherwise, the subproblem is resolved using an adaptive scheme. The convergence results for the new proposed algorithm are established under some mild and standard assumptions. Numerical results on some least-squares test problems show the efficiency and... 

CeO 2-TiO 2 nanoparticles were prepared by the sol-gel process using 2-hydroxylethylammonium formate as room-temperature ionic liquid and calcined at different temperatures (500-700°C). CeO 2-TiO 2-graphene nanocomposites were prepared by hydrothermal reaction of graphene oxide with CeO 2-TiO 2 nanoparticles in aqueous solution of ethanol. The photocatalysts were characterized by X-ray diffraction, BET surface area, diffuse reflectance spectroscopy, scanning electron microscopy, and Fourier transformed infrared techniques. The results demonstrate that the room-temperature ionic liquid inhibits the anatase-rutile phase transformation. This effect was promoted by addition of CeO 2 to TiO 2.... 

Aims. Stars twinkle because their light propagates through the atmosphere. The same phenomenon is expected on a longer time scale when the light of remote stars crosses an interstellar turbulent molecular cloud, but it has never been observed at optical wavelengths. The aim of the study described in this paper is to fully simulate the scintillation process, starting from the molecular cloud description as a fractal object, ending with the simulations of fluctuating stellar light curves. Methods. Fast Fourier transforms are first used to simulate fractal clouds. Then, the illumination pattern resulting from the crossing of background star light through these refractive clouds is calculated... 

Aims. Stars twinkle because their light propagates through the atmosphere. The same phenomenon is expected at a longer time scale when the light of remote stars crosses an interstellar molecular cloud, but it has never been observed at optical wavelength. In a favorable case, the light of a background star can be subject to stochastic fluctuations on the order of a few percent at a characteristic time scale of a few minutes. Our ultimate aim is to discover or exclude these scintillation effects to estimate the contribution of molecular hydrogen to the Galactic baryonic hidden mass. This feasibility study is a pathfinder toward an observational strategy to search for scintillation, probing... 

This manuscript describes the implementation of plasma-enhanced chemical vapor deposition (DC-PECVD) and vapor-liquid-solid (VLS) techniques to fabricate a yolk-shell SnO2@Void@C nanowire (NW) structure. SnO2 nanowires have been synthesized on the stainless steel mesh substrate through the VLS method. The PECVD-assisted growth of carbon nanolayer on the SnO2 and SiO2 coated SnO2 NWs has been performed to fabricate SnO2@C core-shell and SnO2@SiO2@C yolk-shell structures, respectively. A consequent silica etching process converted the SnO2@SiO2@C into SnO2@Void@C structure. The electrochemical performance of bare SnO2 NWs, SnO2 NWs @ C, and SnO2 @Void @ C coaxial NWs structures have been... 

For the first time, in the current work, a dynamic stability analysis of a tilted curved pipe in a supersonic airflow under thermal loading is presented. The heat-transfer continuum problem is used for simulating the thermal environment conditions. The tilted pipe is reinforced by carbon nanotube agglomerations (CNTAs). For simulating the displacement fields of the current structure, Quasi-2D refined high order shear deformation theory is studied. The verification segment is divided into two parts. In the first and second sections, the credibility of the results of this study are confirmed by the results extracted using COMSOL multiphysics software and published articles in the literature,... 

In this study, the mechanical properties, formability and forming limit diagrams (FLDs) of the tailor-welded blanks (TWBs) produced by friction stir welding (FSW) were analyzed experimentally. At first, the suitable FSW parameters were achieved. The formability and FLDs of TWBs were evaluated for sheets with the same or different thicknesses and compared to the base metal sheet. This study was performed on low carbon steel (St14) sheets with a lot of applications in automobile industries. The welded zone properties were evaluated by some experiments. The tensile test, micro hardness testing, and metallographic studies were done. The effect of welding seam directions on formability and FLD... 

Controlling networked dynamical systems is a complex endeavor, specifically keeping in mind the fact that in many scenarios the actors that are engaged in the dynamism behave selfishly and therefore only take into account their own individual utility, a setting that has been widely studied in the field of game theory. One way that we can control the system dynamics is through the use of control parameters that are at our disposal, but finding optimal values for these parameters is a complex and time consuming task. In this paper we use the relation between network structural properties and control parameters to create a mathematical model that uses learning methods to find optimal values... 

Failure in sheet metal forming can occur by necking, fracture or wrinkling. By using a forming limit diagram (FLD) as a powerful tool to prevent sheets metal failures in the forming process, provides parameters controlling throughout forming. There are different developed methods for predicting FLDs, which estimate sheet metal forming strains limits. Assessment of FLD estimation reveals that there is a dependency between the effect of several factors containing normal stress, shear stress, sheet thickness, mechanical properties, metallurgical properties, yield function, strain path, and bending with formability. In this research, the effects of bending via two finite element models are... 

Design and implementation of Architecture is a knowledge-driven process. Evaluation and verification the knowledge, in order to ensure its quality, have important role in improving overall design process. Furthermore, Architectural decision making is a complex and multi-criteria decision making problem in which multiple stakeholders make decisions from their perspectives causing overlaps and conflicts in the adopted decisions. Therefore, the requirement for strategies to manage these issues and also to improve coordination and cooperation among the various stakeholders to improve the overall process design is necessary. In this regard, there have been several activities that focus on... 

In this study, the effect of through-thickness shear (TTS) stress has been examined on the prediction of forming limit diagrams (FLDs). Determination of the FLD is based on the Marciniak–Kuczynski (M–K) model with some modifications on the stress states for consideration of the TTS stress effects. For solving the equations, the Newton–Raphson method has been used. Furthermore, the Nakazima test has been simulated to investigate the stress state which occurs in the sheet during the test. Results showed that the formability of sheet metal could be better as the through-thickness stress increased. Also, implementation of TTS stress in the present model, the corresponding FLD has better... 

In this study, the effect of through-thickness shear (TTS) stress has been examined on the prediction of forming limit diagrams (FLDs). Determination of the FLD is based on the Marciniak–Kuczynski (M–K) model with some modifications on the stress states for consideration of the TTS stress effects. For solving the equations, the Newton–Raphson method has been used. Furthermore, the Nakazima test has been simulated to investigate the stress state which occurs in the sheet during the test. Results showed that the formability of sheet metal could be better as the through-thickness stress increased. Also, implementation of TTS stress in the present model, the corresponding FLD has better... 

In this study, the effect of through-thickness shear (TTS) stress has been examined on the prediction of forming limit diagrams (FLDs). Determination of the FLD is based on the Marciniak–Kuczynski (M–K) model with some modifications on the stress states for consideration of the TTS stress effects. For solving the equations, the Newton–Raphson method has been used. Furthermore, the Nakazima test has been simulated to investigate the stress state which occurs in the sheet during the test. Results showed that the formability of sheet metal could be better as the through-thickness stress increased. Also, implementation of TTS stress in the present model, the corresponding FLD has better... 

Tailored welded blanks (TWBs) technology can give the important possibilities to obtain components in the automobile industry. Friction stir welding (FSW) is a joining approach, which can adhere parts well with desired properties in weld zone. In this article, the main aim is investigation the effect of weld zone orientation on forming limit diagram (FLD) of the TWBs using experimental and finite element model. Three TWBs are produced FSW with three different orientations of weld zones including 00, 450 and 900 against major stress direction. The microstructure of the weld zones is divided and then observed via metallography procedures. Tensile tests are carried out to determine the...