结合公钥加密和关键字可搜索加密的加密方案

带关键字搜索的公钥加密(PEKS)是一种有用的加密原语，它允许用户将在加密数据上搜索的功能委托给不可信的第三方服务器，而不影响原始数据的安全性和隐私性。但是，由于缺乏对于数据的加密以及解密能力，PEKS方案不能单独进行使用，必须与标准的公钥加密方案(PKE)相结合。因此，Baek等人在2006年引入了一种新的加密原语，称为结合PKE和PEKS的加密方案(PKE+PEKS)，它同时提供了PKE和PEKS的功能。目前，已有文献提出了几种PKE+PEKS方案。然而，他们都没有考虑关键字猜测攻击的问题。本文提出一个新的高效且能够抵抗关键字猜测攻击的PKE+PEKS方案，与已有方案相比，该方案在性能上有很大的提升，并且在生成关键字和数据密文时，不需要使用双线性对，极大地降低了计算和存储成本。安全性分析表明，本文中所提出的方案能够满足密文隐私安全性、陷门不可区分性和抗关键字猜测攻击的安全性。效率分析表明，本分提出的方案更加高效。     

Thaumasite––direct, woodfordite and other possible formation routes

Two main formation routes for thaumasite exist below 15 °C. One is the direct route from C–S–H reacting with appropriate carbonate, sulfate, Ca²⁺ ions and excess water. The other route is the woodfordite route from ettringite reacting with C–S–H, carbonate, Ca²⁺ ions and excess water, in which thaumasite arises through the intermediate formation of the solid solution woodfordite. The woodfordite route for thaumasite formation appears to be relatively quicker (although still slow) than the direct route, presumably because with the former the ettringite already has the octahedral [M(OH)₆] units that can facilitate the critical change from [Al(OH)₆]³⁻ to [Si(OH)₆]²⁻ groupings. Both routes are mutually dependent on each other. The presence of magnesium salts can modify the path to thaumasite formation. High pressure might be able to stabilise [Si(OH)₆]²⁻ groupings and allow thaumasite to become formed above 15 °C. This possibility is discussed.     

原油基压裂液研究

研制了一种适用于低压、低渗、水敏性储集层的新型原油基压裂液体系。根据基液原油的组分合成相应的增稠剂，增稠剂在原油中与交联剂反应，形成网状结构，使原油成为黏度可以调控的冻胶，从根本上改变了油基压裂液以柴油、煤油为基液的现状，降低了油基压裂液的成本，同时还提高了压裂液的抗温、抗剪切和破胶性能，并将交联时间缩短到2h以内，可以满足现场压裂施工的要求，大大降低了施工强度和压裂改造的综合成本。在青海油田进行的现场先导试验取得成功。图9表1参5     

The effect of liquid push out of the material capillaries under sulfate ion diffusion in cement composites

The paper treats complex phenomena that accompany the diffusion of sulfate ions into cement paste or systems. The ion distribution within the material was studied by designing a specific diffusion model. The model accounts for two phenomena: capillary filling with products of the chemical reactions and the subsequent liquid push out of the capillary. The approach allows to quantify the concentration of free ions having penetrated the cement stone and that of chemically reacted ions, and to assess the liquid push out. Experimental data are also presented.     

Kinetochemical and morphological differentiation of ettringites by the Le Chatelier-Anstett test

In this research, former XRD experiments have been verified by Le Chatelier-Ansttet (L-A) test. For this purpose, 28 cements consisting of 7 Portland cements and 21 blended cements containing 20%, 30% and 40% metakaolin have been submitted to the Le Chatelier-Anstett (L-A) test for 2 years. With all these cements, L-A specimens were manufactured and a direct parameter was measured for these specimens: increase in diameter, Δ∅, or diameter growth. Other complementary determinations were chemical analysis, XDA patterns and SEM of ettringites and specific properties of some cements tested. The experimental results have borne out that the formation rate of the ettringite formed from the reactive alumina, Al₂O₃^r−, present in pozzolans must be considerably higher than the formation rate of the ettringite from C₃A and much higher than the ettringite from C₄AF, both present in OPC. Owing to this, these ettringites were proposed being named “rapid formation” (ett-rf), “slow formation” (ett-lf) and “very slow formation” (ett-vlf) ettringites, respectively. On the other hand, these experimental results have also shown that the ett-rf has a much smaller size than the ett-lf (this is a direct consequence of the aforementioned conclusion); that almost all the alumina, Al₂O₃, present in M pozzolan must be regarded as being “reactive,” Al₂O₃^r−, or at least, the greatest part; that the detrimental effects derived from gypsum attack are shown much earlier in these POZC than in their plain OPC and, to such an extent, that this aggressive action can be described as rapid gypsum attack; and that none of the 21 POZC tested can be described as high nor moderate sulphate resistant cements according to L-A test.     

Non-uniform hydrogen attack cavitation and the role of interaction with creep

Hydrogen attack (HA) is the development of grain-boundary porosity by cavities filled with high-pressure methane that originates from the reaction of carbides with hydrogen at high temperatures. The cavities grow by grain-boundary diffusion and by creep of the adjacent grain material till they coalesce with neighbouring cavities to form a microcrack. Earlier work on HA has focussed on unit cells containing a single cavity, using average cavitation properties. Here, non-uniform cavitation properties on the grain-size scale are assumed in a polycrystalline aggregate, and unit cell analyses are performed to investigate the influence of the adjacent grains on the development of the grain-boundary HA. The numerical results are explained in terms of two simplified models which highlight the key parameters governing the grain deformation-grain boundary cavitation interaction process.     

ID-based threshold decryption secure against adaptive chosen-ciphertext attack

This paper proposes an identity-based threshold decryption scheme IB-ThDec and reduces its security to the Bilinear Diffie-Hellman problem. Compared with previous work, this conceals two pairing computations in the ciphertext validity verification procedure. The formal proof of security of this scheme is provided in the random oracle model. Additionally, we show that IB-ThDec can be applied to the threshold key escrow and the mediated cryptosystems.     

Binary rewriting and call interception for efficient runtime protection against buffer overflows

Buffer overflow vulnerabilities are one of the most commonly and widely exploited security vulnerabilities in programs. Most existing solutions for avoiding buffer overflows are either inadequate, inefficient or incompatible with existing code. In this paper, we present a novel approach for transparent and efficient runtime protection against buffer overflows. The approach is implemented by two tools: Type Information Extractor and Depositor (TIED) and LibsafePlus. TIED is first used on a binary executable or shared library file to extract type information from the debugging information inserted in the file by the compiler and reinsert it in the file as a data structure available at runtime. LibsafePlus is a shared library that is preloaded when the program is run. LibsafePlus intercepts unsafe C library calls such as strcpy and uses the type information made available by TIED at runtime to determine whether it would be ‘safe’ to carry out the operation. With our simple design we are able to protect most applications with a performance overhead of less than 10%. Copyright © 2006 John Wiley & Sons, Ltd.     

A method for quantifying cell size from differential interference contrast images: validation and application to osmotically stressed chondrocytes

An automatic image analysis method was developed to determine the shape and size of spheroidal cells from a time series of differential interference contrast (DIC) images. The program incorporates an edge detection algorithm and dynamic programming for edge linking. To assess the accuracy and working range of the method, results from DIC images of different focal planes and resolutions were compared to confocal images in which the cell membrane was fluorescently labelled. The results indicate that a 1‐µm focal drift from the in‐focus plane can lead to an overestimation of cell volume up to 14.1%, mostly due to shadowing effects of DIC microscopy. DIC images allow for accurate measurements when the focal plane lies in a zone slightly above the centre of a spherical cell. In this range the method performs with 1.9% overall volume error without taking into account the error introduced by the representation of the cell as a sphere. As a test case, the method was applied to quantify volume changes due to acute changes of osmotic stress.