Dynamic Provable Data Possession Protocols with Public Verifiability and Data Privacy

Cloud storage services have become accessible and used by everyone. Nevertheless, stored data are dependable on the behavior of the cloud servers, and losses and damages often occur. One solution is to regularly audit the cloud servers in order to check the integrity of the stored data. The Dynamic Provable Data Possession scheme with Public Verifiability and Data Privacy presented in ACISP'15 is a straightforward design of such solution. However, this scheme is threatened by several attacks. In this paper, we carefully recall the definition of this scheme as well as explain how its security is dramatically menaced. Moreover, we proposed two new constructions for Dynamic Provable Data Possession scheme with Public Verifiability and Data Privacy based on the scheme presented in ACISP'15, one using Index Hash Tables and one based on Merkle Hash Trees. We show that the two schemes are secure and privacy-preserving in the random oracle model.Comment: ISPEC 201

Reflection and transmission coefficients of a thin bed

The study of thin-bed seismic response is an important part in lithologic and methane reservoir modeling, critical for predicting their physical attributes and/or elastic parameters. The complex propagator matrix for the exact reflections and transmissions of thin beds limits their application in thin-bed inversion. Therefore, approximation formulas with a high accuracy and a relatively simple form are needed for thin-bed seismic analysis and inversion. We have derived thin-bed reflection and transmission coefficients, defined in terms of displacements, and approximated them to be in a quasi-Zoeppritz matrix form under the assumption that the middle layer has a very thin thickness. We have verified the approximation accuracy through numerical calculation and concluded that the errors in PP-wave reflection coefficients RPP are generally smaller than 10% when the thin-bed thicknesses are smaller than one-eighth of the PP-wavelength. The PS-wave reflection coefficients RPS have lower approximation accuracy than RPP for the same ratios of thicknesses to their respective wavelengths, and the RPS approximation is not acceptable for incident angles approaching the critical angles (when they exist) except in the case of extremely strong impedance difference. Errors in phase for the RPP and RPS approximation are less than 10% for the cases of thicknesses less than one-tenth of the wavelengths. As expected, a thinner middle layer and a weaker impedance difference would result in higher approximation accuracy

Substitution Delone Sets

This paper addresses the problem of describing aperiodic discrete structures that have a self-similar or self-affine structure. Substitution Delone set families are families of Delone sets (X_1, ..., X_n) in R^d that satisfy an inflation functional equation under the action of an expanding integer matrix in R^d. This paper studies such functional equation in which each X_i is a discrete multiset (a set whose elements are counted with a finite multiplicity). It gives necessary conditions on the coefficients of the functional equation for discrete solutions to exist. It treats the case where the equation has Delone set solutions. Finally, it gives a large set of examples showing limits to the results obtained.Comment: 34 pages, latex file; some results in Sect 5 rearranged and theorems reformulate