Predicate encryption with various properties

Predicate encryption (PE) is a new primitive which supports exible control over access to encrypted data. In PE schemes, users' decryption keys are associated with predicates f and ciphertexts encode attributes a that are specified during the encryption procedure. A user can successfully decrypt if and only if f(a) = 1. In this thesis, we will investigate several properties that are crucial to PE. We focus on expressiveness of PE, Revocable PE and Hierarchical PE (HPE) with forward security. For all proposed systems, we provide a security model and analysis using the widely accepted computational complexity approach. Our first contribution is to explore the expressiveness of PE. Existing PE supports a wide class of predicates such as conjunctions of equality, comparison and subset queries, disjunctions of equality queries, and more generally, arbitrary combinations of conjunctive and disjunctive equality queries. We advance PE to evaluate more expressive predicates, e.g., disjunctive comparison or disjunctive subset queries. Such expressiveness is achieved at the cost of computational and space overhead. To improve the performance, we appropriately revise the PE to reduce the computational and space cost. Furthermore, we propose a heuristic method to reduce disjunctions in the predicates. Our schemes are proved in the standard model. We then introduce the concept of Revocable Predicate Encryption (RPE), which extends the previous PE setting with revocation support: private keys can be used to decrypt an RPE ciphertext only if they match the decryption policy (defined via attributes encoded into the ciphertext and predicates associated with private keys) and were not revoked by the time the ciphertext was created. We propose two RPE schemes. Our first scheme, termed Attribute- Hiding RPE (AH-RPE), offers attribute-hiding, which is the standard PE property. Our second scheme, termed Full-Hiding RPE (FH-RPE), offers even stronger privacy guarantees, i.e., apart from possessing the Attribute-Hiding property, the scheme also ensures that no information about revoked users is leaked from a given ciphertext. The proposed schemes are also proved to be secure under well established assumptions in the standard model. Secrecy of decryption keys is an important pre-requisite for security of (H)PE and compromised private keys must be immediately replaced. The notion of Forward Security (FS) reduces damage from compromised keys by guaranteeing confidentiality of messages that were encrypted prior to the compromise event. We present the first Forward-Secure Hierarchical Predicate Encryption (FS-HPE) that is proved secure in the standard model. Our FS-HPE scheme offers some desirable properties: time-independent delegation of predicates (to support dynamic behavior for delegation of decrypting rights to new users), local update for users' private keys (i.e., no master authority needs to be contacted), forward security, and the scheme's encryption process does not require knowledge of predicates at any level including when those predicates join the hierarchy.

Measuring mechanical properties of tendon in vivo

Introduction: Understanding the mechanical properties of tendon is an important step to guiding the process of improving athletic performance, predicting injury and treating tendinopathies. The speed of sound in a medium is governed by the bulk modulus and density for fluids and isotropic materials. However, for tendon,which is a structural composite of fluid and collagen, there is some anisotropy requiring an adjustment for Poisson’s ratio. In this paper, these relationships are explored and modelled using data collected, in vivo, on human Achilles tendon. Estimates for elastic modulus and hysteresis based on speed of sound data are then compared against published values from in vitro mechanical tests. Methods: Measurements using clinical ultrasound imaging, inverse dynamics and acoustic transmission techniques were used to determine dimensions, loading conditions and longitudinal speed of sound for the Achilles tendon during a series of isometric plantar flexion exercises against body weight. Upper and lower bounds for speed of sound versus tensile stress in the tendon were then modelled and estimates derived for elastic modulus and hysteresis. Results: Axial speed of sound varied between 1850 to 2090 m.s−1 with a non-linear, asymptotic dependency on the level of tensile stress in the tendon 5–35 MPa. Estimates derived for the elastic modulus ranged between 1–2 GPa. Hysteresis derived from models of the stress-strain relationship, ranged from 3–11%. These values agree closely with those previously reported from direct measurements obtained via in vitro mechanical tensile tests on major weight bearing tendons. Discussion: There is sufficiently good agreement between these indirect (speed of sound derived) and direct (mechanical tensile test derived) measures of tendon mechanical properties to validate the use of this non-invasive acoustic transmission technique. This non-invasive method is suitable for monitoring changes in tendon properties as predictors of athletic performance, injury or therapeutic progression.

Mechanical properties of mussel byssus threads

The byssus threads of the common mussel, Mytilus edulis L., have been tested mechanically and the results from the tests related to the ecology of the animal. The threads are mechanically similar to other crystalline polymers such as polyethylene having a modulus of about 108N m−2 and a long relaxation time. Resilience of 60% is similar to tendon; ultimate strain is about five times that of tendon at 0.44. The thread is laid down with a prestrain of 10% and so guys the mussel in position. Calculation shows that a mussel with 50 byssus threads would be able to resist all but severe winter storms.

High-strength high-performance lightweight concrete : a review (Invited)

In the last two decades, there are developments that lead to greater understanding on how and why lightweight concretes (LWC) may achieve similar or higher performance than their normal weight counterparts. The present paper reviews some of these aspects beginning with basic properties such as unit weight, compressive strength and specific strength (strength/ unit weight). Stability and workability of LWC is discussed from rheological perspective. The volumetric stability of LWC in terms of shrinkage and creep are presented with some recent published data. Transport properties of the LWC in terms of sorptivity, water permeability and resistance to chloride-ion penetration are reviewed in comparison with normal weight concrete. Fire resistance of LWC and some current measures used to improve the resistance are discussed. With continual research and development, the performance of LWC is being enhanced to provide new opportunities for practical applications.

Understanding the enhancement in photoelectrochemical properties of photocatalytically prepared TiO2-reduced graphene oxide composite

Solution-phase photocatalytic reduction of graphene oxide to reduced graphene oxide (RGO) by titanium dioxide (TiO2) nanoparticles produces an RGO-TiO2 composite that possesses enhanced charge transport properties beyond those of pure TiO2 nanoparticle films. These composite films exhibit electron lifetimes up to four times longer than that of intrinsic TiO2 films due to RGO acting as a highly conducting intraparticle charge transport network within the film. The intrinsic UV-active charge generation (photocurrent) of pure TiO2 was enhanced by a factor of 10 by incorporating RGO; we attribute this to both the highly conductive nature of the RGO and to improved charge collection facilitated by the intimate contact between RGO and the TiO2, uniquely afforded by the solution-phase photocatalytic reduction method. Integrating RGO into nanoparticle films using this technique should improve the performance of photovoltaic devices that utilize nanoparticle films, such as dye-sensitized and quantum-dot-sensitized solar cells.

Structural and electronic properties of diazonium functionalized (4, 4) single walled carbon nanotube : an ab initio study

In this work, ab initio density functional theory (DFT) calculations are performed to study the structural and electronic properties of diazonium reagent functionalized (4, 4) single-walled carbon nanotube (SWCNT). We find the aryl group covalently bonds with SWCNT and prefers to be perpendicular to the side wall of nanotube. It has a rotational barrier of 0.35 eV around the formed aryl-tube bond axis and should be thermodynamically stable at room temperature. Additionally, new peaks appeared around the Fermi energy in the density of state (DOS) due to the weak band dispersion. Increasing of the coverage of the functional group will result in significant upshift of the Fermi level.

Mg-based nanocomposites with high capacity and fast kinetics for hydrogen storage

Magnesium and its alloys have shown a great potential in effective hydrogen storage due to their advantages of high volumetric/gravimetric hydrogen storage capacity and low cost. However, the use of these materials in fuel cells for automotive applications at the present time is limited by high hydrogenation temperature and sluggish sorption kinetics. This paper presents the recent results of design and development of magnesium-based nanocomposites demonstrating the catalytic effects of carbon nanotubes and transition metals on hydrogen adsorption in these materials. The results are promising for the application of magnesium materials for hydrogen storage, with significantly reduced absorption temperatures and enhanced ab/desorption kinetics. High level Density Functional Theory calculations support the analysis of the hydrogenation mechanisms by revealing the detailed atomic and molecular interactions that underpin the catalytic roles of incorporated carbon and titanium, providing clear guidance for further design and development of such materials with better hydrogen storage properties.

Cometary evolution : clues on physical properties from chondritic interplanetary dust particles

The degree of diversity or similarity detected in comets depends primarily on the lifetimes of the individual cometary nuclei at the time of analysis. It is inherent in our understanding of cometary orbital dynamics and the seminal model of comet origins that cometary evolution is the natural order of events in our Solar System. Thus, predictions of cometary behaviour in terms of bulk physical, mineralogical or chemical parameters should contain an appreciation of temporal variation(s). Previously, Rietmeijer and Mackinnon [1987] developed mineralogical bases for the chemical evolution of cometary nuclei primarily with regard to the predominantly silicate fraction of comet nuclei. We suggested that alteration of solids in cometary nuclei should be expected and that indications of likely reactants and products can be derived from judicious comparison with terrestrial diagenetic environments which include hydrocryogenic and low-temperature aqueous alterations. In a further development of this concept, Rietmeijer [1988] provides indirect evidence for the formation of sulfides and oxides in comet nuclei. Furthermore, Rietmeijer [1988] noted that timescales for hydrocryogenic and low-temperature reactions involving liquid water are probably adequate for relatively mature comets, e.g. P/comet Halley. In this paper, we will address the evolution of comet nuclei physical parameters such as solid particle grain size, porosity and density. In natural environments, chemical evolution (e.g. mineral reactions) is often accompanied by changes in physical properties. These concurrent changes are well-documented in the terrestrial geological literature, especially in studies of sediment diagenesis and we suggest that similar basic principles apply within the upper few meters of active comet nuclei. The database for prediction of comet nuclei physical parameters is, in principle, the same as used for the proposition of chemical evolution. We use detailed mineralogical studies of chondritic interplanetary dust particles (IDPS) as a guide to the likely constitution of mature comets traversing the inner Solar System. While there is, as yet, no direct proof that a specific sub-group or type of chondritic IDP is derived from a specific comet, it is clear that these particles are extraterrestrial in origin and that a certain portion of the interplanetary flux received by the Earth is cometary in origin. Two chondritic porous (CP) IDPS, sample numbers W701OA2 and W7029CI, from the Johnson Space Center Cosmic Dust Collection have been selected for this study of putative cometary physical parameters. This particular type of particle is considered a likely candidate for a cometary origin on the basis of mineralogy, bulk composition and morphology. While many IDPs have been subjected to intensive study over the past decade, we can develop a physical parameter model on only these two CP IDPs because few others have been studied in sufficient detail.

Physico-chemical/biological properties of tripolyphosphate cross-linked chitosan based

In this study, chitosan-PEO blend, prepared in a 15 M acetic acid, was electrospun into nanofibers (~ 78 nm diameter) with bead free morphology. While investigating physico-chemical parameters of blend solutions, effect of yield stress on chitosan based nanofiber fabrication was clearly evidenced. Architectural stability of nanofiber mat in aqueous medium was achieved by ionotropic cross-linking of chitosan by tripolyphosphate (TPP) ions. The TPP cross-linked nanofiber mat showed swelling up to ~ 300 % in 1h and ~ 40 % degradation during 30 d study period. 3T3 fibroblast cells showed good attachment, proliferation and viability on TPP treated chitosan based nanofiber mats. The results indicate non-toxic nature of TPP cross-linked chitosan based nanofibers and their potential to be explored as a tissue engineering matrix.

Thermal treatment of natural goethite : thermal transformation and physical properties

XRD (X-ray diffraction), XRF (X-ray fluorescence), TG (thermogravimetry), FT-IES (Fourier transform infrared emission spectroscopy), FESEM (field emission scanning electron microscope), TEM (transmission electron microscope) and nitrogen–adsorption–desorption analysis were used to characterize the composition and thermal evolution of the structure of natural goethite. The in situ FT-IES demonstrated the start temperature (250 °C) of the transformation of natural goethite to hematite and the thermodynamic stability of protohematite between 250 and 600 °C. The heated products showed a topotactic relationship to the original mineral based on SEM analysis. Finally, the nitrogen–adsorption–desorption isotherm provided the variation of surface area and pore size distribution as a function of temperature. The surface area displayed a remarkable increase up to 350 °C, and then decreased above this temperature. The significant increase in surface area was attributed to the formation of regularly arranged slit-shaped micropores running parallel to elongated direction of hematite microcrystal. The main pore size varied from 0.99 nm to 3.5 nm when heating temperature increases from 300 to 400 °C. The hematite derived from heating goethite possesses high surface area and favors the possible application of hematite as an adsorbent as well as catalyst carrier.

Measuring the mechanical properties of ground ophthalmic polymer surfaces using nanoindentation

This work is motivated by the need to efficiently machine the edges of ophthalmic polymer lenses for mounting in spectacle or instrument frames. The polymer materials used are required to have suitable optical characteristics such high refractive index and Abbe number, combined with low density and high scratch and impact resistance. Edge surface finish is an important aesthetic consideration; its quality is governed by the material removal operation and the physical properties of the material being processed. The wear behaviour of polymer materials is not as straightforward as for other materials due to their molecular and structural complexity, not to mention their time-dependent properties. Four commercial ophthalmic polymers have been studied in this work using nanoindentation techniques which are evaluated as tools for probing surface mechanical properties in order to better understand the grinding response of polymer materials.

Limbal mesenchymal stromal cells (L-MSC) display immunosuppressive properties across donor and species boundaries

Purpose: We have evaluated the immunosuppressive properties of L-MSC with the view to using these cells in allogeneic cell therapies for corneal disorders. We hypothesized that L-MSC cultures would suppress T-cell activation, in a similar way to those established from human bone marrow (BM-MSC). Methods: MSC cultures were established from the limbal stroma of cadaveric donor eye tissue (up to 1 week postmortem) using either conventional serum-supplemented growth medium or a commercial serum-free medium optimized for bone marrow derived MSC (MesenCult-XF system). The MSC phenotype was examined by flow cytometry according to current and emerging markers for human MSC. Immunosuppressive properties were assessed using a mixed lymphocyte reaction (MLR) assay, whereby the white cell fraction from two immunologically incompatible blood donors are cultured together in direct contact with growth arrested MSC. T-cell activation (proliferation) was measured by uptake of tritiated thymidine. Human L-MSC were tested in parallel with human BM-MSC and rabbit L-MSC. Human and rabbit L-MSC were also tested for their ability to stimulate the growth of limbal epithelial (LE) cells in colony formation assays (for both human as well as rabbit LE cells). Results: L-MSC cultures were >95% negative for CD34, CD45 and HLA-DR and positive for CD73, CD90, CD105 and HLA-ABC. Modest levels (30%) of CD146 expression were observed for L-MSC cultures grown in serum-supplemented growth medium, but not those grown in MesenCult-XF. All MSC cultures derived from both human and rabbit tissue suppressed T-cell activation to varying degrees according to culture technique and species (MesenCult-XF >> serum-fed cultures, rabbit L-MSC >> human L-MSC). All L-MSC stimulated colony formation by LE cells irrespectively of the combination of cell species used. Conclusions: L-MSC display immunosuppressive qualities, in addition to their established non-immunogenic cell surface marker profile, and stimulate LE cell growth in vitro across species boundaries. These results support the potential use of allogeneic or even xenogeneic L-MSC in the treatment of corneal disorders.

Influence of synthesis route on the catalytic properties of La1−xSrxMnO3

Lanthanum Strontium Manganate (LSM) powders were synthesized by six different routes, namely solid state reaction, drip pyrolysis, citrate, sol-gel, carbonate and oxalate co-precipitation. The LSM samples, produced by firing to 1000 °C for 5 h were then characterized by way of XRD, TPD's of oxygen, TPR and catalytic activity for a simple oxidation reaction, that of carbon monoxide to carbon dioxide. It was found that although the six samples had similar compositions and surface areas they performed quite differently during catalytic characterization. These observed differences correlated more closely to the mode of synthesis, than to the physical properties of the powders, or their impurity levels, indicating that the surface structures created by the different syntheses perform very differently under catalysis conditions. Co-precipitation and drip pyrolysis produced structures that were most efficient at facilitating oxidation type reactions.

Damage assessment in beams and plates using variations in modal properties

Damage detection using modal properties is a widely accepted method. However, quantifying such damage using modal properties is still not well established. With this in mind, a research project is presently underway towards the development of a procedure to detect, locate and quantify damage in structural components using the variations in modal properties. A novel vibration based parameter called Vibration based Damage Index is introduced into the damage assessment procedure. This paper presents the early part of the research project which treats flexural members. The proposed procedure is validated using experimental data and/or theoretical techniques and illustrated through application. Outcomes of this research highlight the ability of the proposed procedure to successfully detect, locate and quantify damage in flexural structural components using the modal properties of the first few modes.