Sharif Digital Repository

In a cloud storage service, public auditing mechanisms allow a third party to verify integrity of the outsourced data on behalf of data users without the need to retrieve data from the cloud server. Recently, Shen et al. proposed a new lightweight and privacy preserving cloud data auditing scheme which employs a third party medium to perform time-consuming operations on behalf of users. The authors have claimed that the scheme meets the security requirements of public auditing mechanisms. In this paper, we show that Shen et al.'s scheme is insecure by proposing two attacks on the scheme. In the first attack, an outside adversary can modify some messages in transmission to the cloud server... 

In this paper, a comprehensive model is used to describe dynamic behavior of SDA and its components during stepwise motion. In this model, Hamilton’s principle and Newton's method are used to extract dynamic equations of the SDA plate and dynamic equation for the linear motion of SDA. Comparison between the modeling results and available experimental data shows that this model is very effective in predicting some design objectives such as step size and output force for this type of actuators  

Properly adjusting the trim angle during the craft speed up, plays an important role in easily passing through the resistance hump and to reach final speed in minimum possible time. Present study tries to reply to this question that how the angles applied to a trimmable drive system and trim tab of the planing craft should be changed during speed up from rest, to craft reach a final speed in minimum time. This is a time-optimal control problem with the drive and trim tab angles as its control variables. To solve this problem a 3-DOF dynamic model is developed here rely on empirical data and relations. For the propulsion system operation of propeller, drive and engine altogether are taken... 

Sensor networks usually generate mass of data, which if not structured for future applications, will require much effort on analytical processing and interpretations. Thus, storing sensor data in an effective and structured format is a key issue in the area of sensor networks. In the meantime, even a little improvement on data storing structure may lead to a significant effect on the lifetime and performance of the sensor network. This paper describes a new method for sensor storage that combines semantic web concepts, a data aggregation method along with aligning sensors in hierarchical form. This solution is able to reduce the amount of data stored at the sink nodes significantly. At the... 

Recently, there has been shown a great interest in the private set intersection (PSI) protocols which are widely used in social networks applications. In a PSI protocol two entities are able to find the intersection of their document set without inferring more information than the common data. In some PSI protocols the process of finding the intersections of the documents are delegated to a third entity like cloud which has high computational and storage resources and the clients can verify the accuracy of the received results. These protocols are known as the Verifiable Delegated Set Intersection (VDSI). In this paper, we proposed an efficient VDSI protocol by employing the El-Gamal... 

Emerging non-volatile memories (NVMs) are notable candidates for replacing traditional DRAMs. Although NVMs are scalable, dissipate lower power, and do not require refreshes, they face new challenges including shorter lifetime and security issues. Efforts toward securing the NVMs against probe attacks pose a serious downside in terms of lifetime. Cryptography algorithms increase the information density of data blocks and consequently handicap the existing lifetime enhancement solutions like Flip-N-Write. In this paper, based on the insight that compression can relax the constraints of lifetime-security trade-off, we propose CryptoComp, an architecture that, taking the advantage of block size... 

Solid-State Drives (SSDs) are recently employed in enterprise servers and high-end storage systems in order to enhance performance of storage subsystem. Although employing high speed SSDs in the storage subsystems can significantly improve system performance, it comes with significant reliability threat for write operations upon power failures. In this paper, we present a comprehensive analysis investigating the impact of workload dependent parameters on the reliability of SSDs under power failure for variety of SSDs (from top manufacturers). To this end, we first develop a platform to perform two important features required for study: A) a realistic fault injection into the SSD in the... 

This paper, in the domain of digital media, introduces the theoretical basis of possibilistic art. It models the bases of visual art in the atmosphere of possibilistic thought and the fuzzy geometry by introducing meaningful forms and introduces a way for recording and displaying emotional-behavioral responses of artist in the visualcomputational space. Finally, as a function of presented concepts, the paper introduces a semi-algorithm for meaningful deformation. This article, by representation of a method based on the eastern thinking and a computational thinking of the west, make a step in the way of eliminating the theoretic and instrumental shortages of visual arts of Iran in the grounds... 

Cloud storage auditing is considered as a significant service used to verify the integrity of data stored in public cloud. However, most existing auditing protocols suffer form complex certificate management/verification since they rely on expensive Public Key Infrastructure (PKI). On the other hand, most cloud users have constrained computational resources. The few existing ID-based storage auditing protocols in the literature, require resource-constrained users to perform costly operations for generating metadata on file blocks. In this paper, we propose a storage auditing protocol which benefits from ID-based structure and lightweight user computations, simultaneously. Our construction... 

This paper presents a comprehensive operation model for micro-grids (MG) operating in the islanded mode. Various energy sources of a MG including diesel engine generator, micro-turbine, wind turbine and photovoltaic cell as well as battery storage and AC/DC rectifier/inverter are modeled in the proposed framework. Fuel costs, emission costs, and operation and maintenance (O&M) costs of these sources as well as their operating limits and characteristics are considered in the model. Furthermore, a new multi-cross learning-based chaotic differential evolution (MLCDE) algorithm is presented to solve the optimization problem of MG operation. The numerical results obtained from the proposed... 

In strong water drive gas reservoirs (WDGRs), the water encroachment in the gas zone has adverse effects on the gas mobility and causes considerable volume of gas to be trapped behind water front; therefore estimation of residual gas saturation after water influx is an important parameter in estimation of gas reservoirs with strong aquifer support. It is difficult to achieve a thorough and exact understanding of water drive gas reservoirs. It depends on several parameters of petrophysical and operational features. In majority of the previous studies about residual gas saturation, the correlations were depended on petrophysical properties such as porosity, permeability, and initial gas... 

Promising advantages offered by resistive NonVolatile Memories (NVMs) have brought great attention to replace existing volatile memory technologies. While NVMs were primarily studied to be used in the memory hierarchy, they can also provide benefits in Field-Programmable Gate Arrays (FPGAs). One major limitation of employing NVMs in FPGAs is significant power and area overheads imposed by the Peripheral Circuitry (PC) of NVM configuration bits. In this paper, we investigate the applicability of different NVM technologies for configuration bits of FPGAs and propose a power-efficient reconfigurable architecture based on Phase Change Memory (PCM). The proposed PCM-based architecture has been... 

Ubiquitous power-law as a fingerprint of Self-Organized Criticality (SOC) is used for describing catastrophic events in different fields. In this paper, by investigating the prerequisites of SOC, we show that SOC-like dynamics drive a correlation among disturbances in Iranian bulk power systems. The existence of power-law regions in probability distribution is discussed for empirical data using maximum likelihood estimation. To verify the results, long time correlation is evaluated in terms of Hurst exponents, by means of statistical analysis of time series, including Rescaled Range (R/S) and Scaled Windowed Variance (SWV) analysis. Also, sensitivity analysis showed that for correct... 

The Least Significant Bit (LSB) substitution is an old and simple data hiding method that could almost effortlessly be implemented in spatial or transform domain over any digital media. This method can be attacked by several steganalysis methods, because it detectably changes statistical and perceptual characteristics of the cover signal. A typical method for steganalysis of the LSB substitution is the histogram attack that attempts to diagnose anomalies in the cover image's histogram. A well-known method to stand the histogram attack is the LSB + steganography that intentionally embeds some extra bits to make the histogram look natural. However, the LSB + method still affects the perceptual... 

In the design of a carbon dioxide capture and storage (CCS) process, the thermal conductivity of carbon dioxide is of special concern. Hence, it is quite important to search for a quick and accurate determination of thermal conductivity of CO2 for precise modeling and evaluation of such a process. To achieve this aim, a robust computing methodology, entitled least square support vector machine (LSSVM) modeling, which is coupled with an optimization approach, was used to model this transport property. The model was constructed and evaluated employing a comprehensive data bank (more than 550 data series) covering wide ranges of pressures and temperatures. Before constructing the model, outlier... 

There has been much research in developing scratch drive actuators (SDAs), but because of their dynamic complexity, these microelectromechanical system-based actuators have not been dynamically analyzed up to now. In this paper, a comprehensive model is presented to describe the dynamic behavior of SDA and its components during stepwise motion. In this model, Hamilton's principle and Newton's method are used to extract dynamic equations of the SDA plate and dynamic equation for the linear motion of SDA. This model presents a good insight into the operating principles of SDA by predicting the variation of different variables, such as bushing angle, contact length, horizontal position, and... 

Disk traces are typically used to analyze real-life workloads and for replay-based evaluations. This approach benefits from capturing important details such as varying behavior patterns, bursty activity, and diurnal patterns of system activity, which are often missing from the behavior of workload synthesis tools. However, accurate capture of such details requires recording traces containing long durations of system activity, which are difficult to use for replay-based evaluation. One way of solving the problem of long storage trace duration is the use of disk simulators. While publicly available disk simulators can greatly accelerate experiments, they have not kept up with technological... 

Over the past decade, storage has been the performance bottleneck in I/O-intensive programs such as online transaction processing applications. To alleviate this bottleneck with minimal cost penalty, cost-effective design of a high-performance disk subsystem is of decisive importance in enterprise applications. Data tiering is an efficient way to optimize cost, performance, and reliability in storage servers. With the promising advantages of solid-state drives (SSDs) over hard disk drives (HDDs) such as lower power consumption and higher performance, traditional data tiering techniques should be revisited to use SSDs in a more efficient way. Previously proposed tiering solutions have... 

A major challenge organizations face when hosting or moving their data to the Cloud is how to support complex queries over outsourced data while preserving their confidentiality. In principle, encryption-based systems can support querying encrypted data, but their high complexity has severely limited their practical use. In this paper, we propose an efficient yet secure secret sharing-based approach for outsourcing relational data to honest-but-curious data servers. The problem with using secret sharing in a data outsourcing scenario is how to efficiently search within randomly generated shares. We present multiple partitioning methods that enable clients to efficiently search among shared... 

Everyday, people share their digital media on the virtual networks; therefore, protecting them against piracy is worthy of consideration. Digital watermarking is a method to achieve this goal. In this paper, we propose a watermarking method in Discrete Cosine Transform (DCT) domain. For this purpose, DCT coefficients of the whole image are calculated. It helps to present a system without blockiness effects. Then, singular values of the watermark image are added to the low frequency DCT coefficients of cover image that are located on the main diagonal. We use scaling factors for watermark embedding to improve imperceptibility of the watermark. A vector of fixed elements, which is calculated...