At Crypto’99, Fujisaki and Okamoto [11] presented a generic transformation from weak secure asymmetric and symmetric schemes
into an IND-CCA hybrid encryption scheme in the Random Oracle Model, which has been extensively used in several cryptographic
scenarios. The work we present here forms part of the careful revision of the provable security techniques initiated by Shoup
in [25] insofar as we find some ambiguities in the proof of this generic conversion, which can lead to false claims. Consequently,
the original conversion is modified and the class of asymmetric primitives that can be used is shortened. Furthermore, the
concept of easily verifiable primitive is formalized, showing its connection with the gap problems introduced in [18]. Using these ideas, a completely new security proof for the modified transformation is given, which is phrased using currently widely accepted techniques. The
reduction thereby obtained turns out to be tight, enhancing the concrete security claimed in the original work for the easily verifiable primitives. For the remaining primitives,
the concrete security is improved at the cost of stronger assumptions. Finally, the resistance of the new conversion against
reject timing attacks is addressed. 相似文献
Analytical expressions of the free parameters of a two‐parameter stabilizing control (TPSC), solving an input/output (I/O) decoupling problem, are presented, and stability conditions are given. Multi‐input‐multi‐output (MIMO), proper, lumped and linear time invariant (LTI) systems are considered. These systems have stabilizable and detectable realizations. The separation principle is applied to design a dynamic output control in a controller‐observer feedback configuration. The I/O relation of the overall system is equivalent to a subsystem, in which the I/O decoupling problem has a solution. Also, if the state dimension of the plant is even, and is double the input dimension of the plant, then coprime factorizations of the plant used for the stabilizing controllers are proposed. The results are illustrated through an example. 相似文献
One hundred eighty different mortars made with a natural hydraulic lime (NHL) and different kinds of aggregates were prepared to be used in restoration works. The factors affecting the mechanical behavior have been studied at long-term test. Compressive and flexural strengths of the specimens were discussed according to curing time, binder/aggregate ratios, attributes of the aggregates and porosity.
Three phases of hardening have been established as a function of the chemical composition: C3S contributes to the strength at early ages. C2S and the carbonation process give their strengths at long term. Specimens with larger binder amounts have shown higher porosity and strength. The characteristics of the aggregates have been correlated with the strength and porosity. Limestone aggregates contribute to the strength. Rounded-shaped aggregates increasing large pores cause a strength reduction, hence their use is not advisable. Aggregates with small grain size show a good cohesion at the interface improving the strength. 相似文献
The aerial parts of Melilotus messanensis (sweet clover) afforded, from moderately and polar bioactive fractions, 11 triterpenes and five steroids. A series of aqueous solutions at 10–4–10–9 M of five steroids and nine triterpenes was monitored to test their effects on germination and growth of the monocots Hordeum vulgare and Allium cepa, and the dicots Lactuca sativa (var. nigra and var. romana) and Lycopersicon esculentum. An important stimulatory effect on H. vulgare germination (between 40% and 80% for almost all tested compounds) was observed. Some considerations about the ecological role of triterpenes on M. messanensis are made. In addition to known lupane triterpenes (platanic acid and 3,28,30-lup-20(29)-enetriol), oleanane triterpenes (soyasapogenol B, soyasapogenol G, and messagenolide), a gammacerane triterpene (gammacer-16-en-3-one), five new lupane triterpenes (messagenic acids A–E: (27-cis-4-hydroxycinnamoyloxy)-betulinic acid; 27-(trans-4-hydroxycinnamoyloxy)betulinic acid; 20(S)-3-hydroxy-29-oxolupan-28-oic acid; 3,30-dihydroxylup-20(29)-en-28-oic acid; and 3,20-dihydroxylup-18(19)-en-28-oic acid, respectively), and sterols (-sitosterol, ergosterol peroxide, 7-hydroxysitosterol, 7-hydroxysitosterol, and 7-oxositosterol) were isolated and chemically characterized. Their structures and stereochemistry were elucidated by spectroscopic methods (one- and two-dimensional 1H and 13C NMR, IR, MS). 相似文献
The location of air bubbles (i.e. inside oil drops or free in the aqueous phase) was studied by image analysis as a function of the oil and biomass concentrations in a 2 L stirred tank using a simulated fermentation medium (aqueoussalt solution, castor oil, air and fungal biomass) agitated by a Rushton turbine. The solid (fungal) phase plays an important role in defining the location of bubbles, as the percentage (in bubble volume) of bubbles trapped in oil increases threefold when biomass is added to the medium. The bubbles located inside oil drops were found to occupy 60% of the total bubble volume and to be 40% smaller than those which were non‐oil associated. This phenomenon has important implications for oxygen mass transfer in multiphase fermentations. 相似文献
A growing body of literature shows that endowing a mobile robot with semantic knowledge and with the ability to reason from this knowledge can greatly increase its capabilities. In this paper, we present a novel use of semantic knowledge, to encode information about how things should be, i.e. norms, and to enable the robot to infer deviations from these norms in order to generate goals to correct these deviations. For instance, if a robot has semantic knowledge that perishable items must be kept in a refrigerator, and it observes a bottle of milk on a table, this robot will generate the goal to bring that bottle into a refrigerator. The key move is to properly encode norms in an ontology so that each norm violation results in a detectable inconsistency. A goal is then generated to bring the world back in a consistent state, and a planner is used to transform this goal into actions. Our approach provides a mobile robot with a limited form of goal autonomy: the ability to derive its own goals to pursue generic aims. We illustrate our approach in a full mobile robot system that integrates a semantic map, a knowledge representation and reasoning system, a task planner, and standard perception and navigation routines. 相似文献