Sharif Digital Repository

An Optimistic fair exchange (OFE) protocol is a good way for two parties to exchange their digital items in a fair way such that at the end of the protocol, both of them receive their items or none of them receives anything. In 2008, Huang et al. presented an efficient OFE protocol, but there is a security problem in their scheme. If the trusted third party (TTP) is dishonest and colludes with the verifier, the TTP can complete the transaction without getting signer's agreement. To solve this problem, we propose an OFE protocol in which there is a tracing algorithm to detect the party who completes the transaction. Furthermore, we obtain the accountability property introduced by Huang et al.... 

The assessment of the hypnotic state of the brain is crucial to the process of an operation under general anaesthesia. A noninvasive method of quantifying depth of anaesthesia is through analysis of electroencephalogram (EEG). Among number of works done in the field, no single algorithm has been found exhibiting a precise measure in all of the hypnotic states. One can categorise algorithms as either a state-quantifier or a trend measure. State-quantifier algorithms can discriminate between different hypnotic states such as awake, light sedation, deep anaesthesia, etc. On the other hand, trend measure algorithms are employed to specify the short-term changes in hypnotic brain conditions,... 

Modeling and analysis of information system vulnerabilities helps us to predict possible attacks to networks using the network configuration and vulnerabilities information. As a fact, exploiting most of vulnerabilities result in access rights alteration. In this paper, we propose a new vulnerability analysis method based on the Take-Grant protection model. We extend the initial Take-Grant model to address the notion of vulnerabilities and introduce the vulnerabilities rewriting rules to specify how the protection state of the system can be changed by exploiting vulnerabilities. Our analysis is based on a bounded polynomial algorithm, which generates the closure of the Take-Grant graph... 

We study the translocation of stiff polymers through a nanopore, driven by the chemical-potential gradient exerted by binding proteins (chaperones) on the trans side of the pore. Bound chaperones prevent backsliding through the pore and, therefore, partially rectify the polymer passage. We show that the sequence of chain monomers with different binding affinity for the chaperones significantly affects the translocation dynamics. In particular, we investigate the effect of the nearest-neighbor adjacency probability of the two monomer types. Depending on the magnitude of the involved binding energies, the translocation speed may either increase or decrease with the adjacency probability. We... 

Combining the advection-diffusion equation approach with Monte Carlo simulations we study chaperone driven polymer translocation of a stiff polymer through a nanopore. We demonstrate that the probability density function of first passage times across the pore depends solely on the Péclet number, a dimensionless parameter comparing drift strength and diffusivity. Moreover it is shown that the characteristic exponent in the power-law dependence of the translocation time on the chain length, a function of the chaperone-polymer binding energy, the chaperone concentration, and the chain length, is also effectively determined by the Péclet number. We investigate the effect of the chaperone size on... 

The amount of rippling in graphene sheets is related to the interactions with the substrate or with the suspending structure. Here, we report on an irreversibility in the response to forces that act on suspended graphene sheets. This may explain why one always observes a ripple structure on suspended graphene. We show that a compression-relaxation mechanism produces static ripples on graphene sheets and determine a peculiar temperature Tc, such that for T