A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and probability. This approach captures a strong notion of security, guaranteed against all probabilistic polynomial-time attacks. The other approach relies on a symbolic model of protocol executions in which cryptographic primitives are treated as black boxes. Since the seminal work of Dolev and Yao, it has been realized that this latter approach enables significantly simpler and often automated proofs. However, the guarantees that it offers with respect to the more detailed computational models have been quite unclear. For more than 20 years the two approaches have coexisted but evolved mostly independently. Recently, significant research efforts attempt to develop paradigms for cryptographic systems analysis that combines the best of both worlds. There are two broad directions that have been followed. Computational soundness aims to establish sufficient conditions under which results obtained using symbolic models imply security under computational models. The direct approach aims to apply the principles and the techniques developed in the context of symbolic models directly to computational ones. In this paper we survey existing results along both of these directions. Our goal is to provide a rather complete summary that could act as a quick reference for researchers who want to contribute to the field, want to make use of existing results, or just want to get a better picture of what results already exist.     

Process Optimisation of In Situ H2 Generation From Ammonia Using Ni on Alumina Coated Cordierite Monoliths

A catalyst of Ni supported on alumina coated monolith has been prepared, characterized and tested in NH₃ decomposition. The characterization of the catalyst by XPS and TPR showed that there is no formation of aluminates after catalyst use. It is studied the effect of the space velocity, by varying the feed flow rate and the catalyst??s length. Some evidences are shown about the reaction inhibition by produced H₂ and about the reasons for the better performance of the monolith than packed bed catalyst.     

Influence of the harvesting year and fertilizer on the fatty acid composition and some physicochemical properties of linseed (Linum usitatissimum L.)

Sar? 85 (Linum usitatissimum L.) linseed variety was used in this study. Linseed was cultivated at 2008 (LS-08) and 2009 (LS-09) without fertilizer. In addition, at 2009 diammonium phosphate [(NH₄)₂HPO₄] and ammonium nitrate (NH₄NO₃) were applied (LSF-09). The linseeds were analyzed for protein, ash and oil contents and fatty acid compositions. There were differences among harvesting years for oil, protein and ash contents of the seeds. The greater oil and protein contents were obtained during LS-08 compared with LS-09. There were no significant difference in protein and ash content between LS-09 and LSF-09 while a significant difference was observed in oil content. Seed protein, oil and ash contents were significantly affected by the harvesting year, but only oil content was affected by the fertilizer treatment. There are significant differences in palmitic, stearic, oleic, ??-linolenic and arachidic acid between LS-08 and LS-09. While palmitic, stearic, oleic acid decreased, ??-linolenic and arachidic acid increased during 2009 harvesting year. LSF-09 has the highest amount of ??-linolenic acid. The fertilizing treatment seems to have an increasing effect on the amount of ??-linolenic acid, while it has a decreasing effect on the oleic acid content.     

Multiplex Real-time PCR for the Simultaneous Detection of Salmonella spp. and Listeria monocytogenes in Food Samples

In this study, we have developed a rapid method for the simultaneous detection of Listeria monocytogenes and Salmonella spp. in foods, combining culture enrichment and a multiplex real-time polymerase chain reaction (PCR). The assay used two pre-existing primer-probe sets, labelled with different reporter dyes to enable the direct distinction of the original contaminating agent. Amplification efficiency and inclusivity/exclusivity of the combined assay was successfully assessed. The overall process included the culture enrichment based on the ISO standard, consisting of 24 h incubation in appropriate media (Half Fraser Broth for Listeria and buffered peptone water (BPW) for Salmonella), followed by a single DNA extraction of mixed enrichment aliquots, and real-time PCR detection of the hly and bipA genes of L. monocytogenes and Salmonella spp., respectively. An internal amplification control, co-amplified during the PCR run, was included in the assay to verify the results. The tool was evaluated with a variety of artificially inoculated samples of fresh products and ready to eat and cooked dishes, allowing the identification of the target pathogens down to 5 CFU/25 g of food sample. Moreover, the analysis saved a considerable amount of time compared to the ISO standard, being performed in less than 2 working days. Specificity, sensitivity and accuracy were satisfactorily tested by comparison to the standard methods ISO 11290-2:1998 and ISO 6579:2002, suggesting that the tool has a great potential as a reliable alternative for food safety assurance providing rapid detection of both pathogens in food samples.     

Combined microwave and enzymatic treatments for ��-lactoglobulin and bovine whey proteins and their effect on the IgE immunoreactivity

Effect of combined microwave (MW) and enzymatic hydrolysis on the human immunoglobulin E (IgE)-binding properties of ??-lactoglobulin (??-lg) and other whey proteins (WP) was investigated. Separated ??-lg and full whey protein isolate (WPI) were hydrolyzed with trypsin, chymotrypsin, mixture of trypsin/chymotrypsin, and pepsin at three microwave power levels: 50?W during 1 and 5?min, 100 and 200?W during 1 and 3?min. The immunoreactivity of the obtained hydrolysates resulting from combined microwave protease treatment was assessed using sera of young patients allergic to bovine whey proteins. The application of microwave treatment at 200?W enhances the hydrolysis of ??-lg by pepsin in 3?min and decreases significantly its immunoreactivity. The extensive hydrolysis of the microwave-treated ??-lg and WPI with trypsin, chymotrypsin, and the mixture of trypsin with chymotrypsin did not have an impact on the IgE binding of the products obtained in all the studied conditions.