Key-insulated encryption schemes use a combination of key splitting and key evolution to protect against key exposure. Existing
schemes, however scale poorly, having cost proportional to the number t of time periods that may be compromised by the adversary, and thus are practical only for small values of t. Yet in practice t might be large.
This paper presents a strongly key-insulated encryption scheme with optimal threshold. In our scheme, t need not be known in advance and can be as large as one less than the total number of periods, yet the cost of the scheme
is not impacted. This brings key-insulated encryption closer to practice. Our scheme is based on the Boneh-Franklin identity-based
encryption (IBE) scheme [9], and exploits algebraic properties of the latter.
Another contribution of this paper is to show that (not strongly) key-insulated encryption with optimal threshold and allowing
random-access key updates (which our scheme and all others known allow) is equivalent to a restricted form of IBE. This means
that the connection between key-insulated encryption and IBE is not accidental.
Supported in part by NSF grants CCR-0098123, ANR-0129617 and CCR-0208842, and by an IBM Faculty Partnership Development Award.
Supported in part by an NSF graduate fellowship. 相似文献
A temperature sensor based on photonic crystal structures with two- and three-dimensional geometries is proposed, and its measurement performance is estimated using a machine learning technique. The temperature characteristics of the photonic crystal structures are studied by mathematical modeling. The physics of the structure is investigated based on the effective electrical permittivity of the substrate (silicon) and column (air) materials for a signal at 1200 nm, whereas the mathematical principle of its operation is studied using the plane-wave expansion method. Moreover, the intrinsic characteristics are investigated based on the absorption and reflection losses as frequently considered for such photonic structures. The output signal (transmitted energy) passing through the structures determines the magnitude of the corresponding temperature variation. Furthermore, the numerical interpretation indicates that the output signal varies nonlinearly with temperature for both the two- and three-dimensional photonic structures. The relation between the transmitted energy and the temperature is found through polynomial-regression-based machine learning techniques. Moreover, rigorous mathematical computations indicate that a second-order polynomial regression could be an appropriate candidate to establish this relation. Polynomial regression is implemented using the Numpy and Scikit-learn library on the Google Colab platform.
Despite advances in diagnostic, prognostic, and treatment modalities, myocardial infarction (MI) remains a leading cause of morbidity and mortality. Impaired cellular signaling after an MI causes maladaptive changes resulting in cardiac remodeling. MicroRNAs (miRNAs/miR) along with other molecular components have been investigated for their involvement in cellular signaling in the pathogenesis of various cardiac conditions like MI. miRNAs are small non-coding RNAs that negatively regulate gene expression. They bind to complementary mRNAs and regulate the rate of protein synthesis by altering the stability of their targeted mRNAs. A single miRNA can modulate several cellular signaling pathways by targeting hundreds of mRNAs. This review focuses on the biogenesis and beneficial effects of cellular and circulating (exosomal) miRNAs on cardiac remodeling after an MI. Particularly, miR-1, -133, 135, and -29 that play an essential role in cardiac remodeling after an MI are described in detail. The limitations that will need to be addressed in the future for the further development of miRNA-based therapeutics for cardiovascular conditions will also be discussed. 相似文献
The temperature control of outlet air by changing the water flow rate in a single-pass waterto-air cross-flow heat exchanger is investigated. The conservation laws are applied to finite control volumes and an implicit formulation is used for transient numerical solutions. Conjugate forced convection heat transfer from the tube is solved to calculate the temperatures of the air and water coming out of the heat exchanger. In the simulations the outlet air temperature is controlled by changing the water flow rate entering the heat exchanger using a proportional-integral (PI) controller. The range of controllability of the heat exchanger was studied first. Then disturbances in the form of step changes in the inlet air temperature, the air flow rate, and the set point temperature were separately introduced. The effects of the limiting-condition constraints and different control parameters on controlling the outlet air temperature are presented. The results show that the control behavior can be simulated numerically and that this control methodology is effective within limits. 相似文献
Machining of aluminum and its alloy is very difficult due to the adhesion and diffusion of aluminum, thus the formation of built-up edge (BUE) on the surface. The BUE, which affects the surface integrity and tool life significantly, affects the service and performance of the workpiece. The minimization of BUE was carried out by selection of proper cutting speed, feed, depth of cut, and cutting tool material. This paper presents machining of rolled aluminum at cutting speeds of 336, 426, and 540 m/min, the feeds of 0.045, 0.06, and 0.09 mm/rev, and a constant depth of cut of 0.2 mm in dry condition. Five cutting tools WC SPUN grade, WC SPGN grade, WC + PVD (physical vapor deposition) TiN coating, WC + Ti (C, N) + Al2O3 PVD multilayer coatings, and PCD (polycrystalline diamond) were utilized for the experiments. The surface roughness produced, total flank wear, and cut chip thicknesses were measured. The characterization of the tool was carried out by a scanning electron microscope (SEM) equipped with energy-dispersive X-ray spectroscopy (EDS) and X-ray diffraction (XRD) pattern. The chip underface was analyzed for the study of chip deformation produced after machining. The results indicated that the PCD tool provides better results in terms of roughness, tool wear, and smoother chip underface. It provides promising results in all aspects. 相似文献
Bioleaching studies for chalcopyrite contained ball mill spillages are very scarce in the literature. We developed a process flow sheet for the recovery of copper metal from surface activated (600 °C, 15 min) ball mill spillage through bio-hydrometallurgical processing route. Bioleaching of the activated sample using a mixed meso-acidophilic bacterial consortium predominantly A. ferrooxidans strains was found to be effective at a lixiviant flow rate of 1.5 L/h, enabling a maximum 72.36% copper recovery in 20 days. Mineralogical as well as morphological changes over the sample surface were seen to trigger the bioleaching efficiency of meso-acidophiles, thereby contributing towards an enhanced copper recovery from the ball mill spillage. The bio-leach liquor containing 1.84 g/L Cu was purified through solvent extraction using LIX 84I in kerosene prior to the recovery of copper metal by electrowinning. Purity of the copper produced through this process was 99.99%. 相似文献
We provide a provable-security treatment of “robust” encryption. Robustness means it is hard to produce a ciphertext that is valid for two different users. Robustness makes explicit a property that has been implicitly assumed in the past. We argue that it is an essential conjunct of anonymous encryption. We show that natural anonymity-preserving ways to achieve it, such as adding recipient identification information before encrypting, fail. We provide transforms that do achieve it, efficiently and provably. We assess the robustness of specific encryption schemes in the literature, providing simple patches for some that lack the property. We explain that robustness of the underlying anonymous IBE scheme is essential for public-key encryption with keyword search (PEKS) to be consistent (meaning, not have false positives), and our work provides the first generic conversions of anonymous IBE schemes to consistent (and secure) PEKS schemes. Overall, our work enables safer and simpler use of encryption. 相似文献
Polar sea ice has been monitored quasi‐continuously over the last 30 years using passive microwave radiometers onboard three satellites in polar orbit, namely Nimbus‐5, Nimbus‐7 and Defense Meteorological Satellite Program (DMSP) series. A short overlap between Scanning Multichannel Microwave Radiometer (SMMR) on Nimbus‐7 and Special Sensor Microwave Imager (SSM/I) onboard DMSP allowed inter‐calibration of the two sensors leading to a consistent series of long‐term sea‐ice measurements since 1978. With the launch of Multifrequency Scanning Microwave Radiometer (MSMR) onboard OCEANSAT‐1 in the polar sun‐synchronous orbit during 1999, India developed the capability to monitor the polar sea ice on a regular basis. The concurrent availability of SSM/I and MSMR over the last few years presents a valuable opportunity to attempt an inter‐comparison of MSMR with SSM/I measurements and derived sea‐ice parameters. In this paper, we present an indirect validation of the brightness temperatures (Tb) observed by MSMR with near‐simultaneous measurements from SSM/I over the Antarctic and Southern Polar Ocean regions. Simultaneous MSMR and SSM/I data from two contrasting seasons—summer and winter—for the 1999–2000 period have been used. Analysis includes a comparison of Tb scatterograms to achieve confidence in the quantitative use of the Tb data to derive various geophysical parameters, e.g. sea‐ice concentration and extent. Additionally, the Tb images produced by the two sensors are compared to establish the capability of MSMR in reliable two‐dimensional portrayal of all the sea and continental ice features over the Antarctic Region. Based on a regression analysis between MSMR observed Tb in different frequency channels and polarizations, and SSM/I‐derived sea‐ice concentration (SIC) values, we have developed algorithms to estimate SIC over the Southern Polar Ocean from MSMR data. The MSMR algorithms allow estimation of SIC with better than 10% rms error. MSMR SIC images faithfully capture the observed distribution of sea ice in all the sectors of the Southern Ocean both during summer and winter periods. Using the MSMR‐derived SIC, we have also derived monthly sea‐ice extent (SIE) estimates for a period extending for about 20 months from the beginning of the launch of MSMR. These estimates show excellent agreement with values derived from SSM/I. These analyses bring out the very high level of compatibility in the measurements and derived sea‐ice parameters produced by the two sensors. 相似文献