Compiling symbolic attacks to protocol implementation tests

Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but the feasability of these scenarios need to be confirmed at the implementation level. However, bridging the gap between an abstract attack scenario derived from a specification and a penetration test on real implementations of a protocol is still an open issue. This work investigates an architecture for automatically generating abstract attacks and converting them to concrete tests on protocol implementations. In particular we aim to improve previously proposed blackbox testing methods in order to discover automatically new attacks and vulnerabilities. As a proof of concept we have experimented our proposed architecture to detect a renegotiation vulnerability on some implementations of SSL/TLS, a protocol widely used for securing electronic transactions.Comment: In Proceedings SCSS 2012, arXiv:1307.802

SHORT-TERM EFFECT OF DISPERSION OF RESIDUAL SLUDGE ON THE SOIL EUCALYPTUS CAMALDULENSIS DEHNH, TIARET (ALGERIA)

Silvicultural upgrading of sewage sludge is an alternative to current solutions. It presents a lower risk of contamination of the human food chain than its use in agriculture. In this context, the use of forest plantations can offer many advantages

INFLUENCE OF MILK AND SOME SUDANESE MEALS ON THE DISSOLUTION OF CIPROFLOXACIN TABLETS

For a drug to be effective , it must be released from the dosage form , fully dissolved in the gastro-intestinal fluids ,  be stable as solution in the gastro-intestinal fluids,  pass through the gastrointestinal barriers into the mesenteric circulation  without being  metabolized , pass through the liver into the systemic circulation unchanged and reach its site of action. Food  is one of the factors which interfere with these processes. The effect of Sudanese meals will  be different due to their high contents of fats, proteins and fibers    This study  aimed to  determine the influence of milk and some Sudanese meals (Foul –Vicia faba - , “Gorrassah with damaa” and “ Kissraa with sharmoot” )on the dissolution of ciprofloxacin HCl  tablets and hence bioavailability. The influence of milk and the mentioned Sudanese meals on the dissolution of ciprofloxacin was studied using paddle dissolution apparatus. The dissolution of the drug was measured in the presence of each meal individually using U.V-  visible spectrophotometer. The samples were taken with 5 minutes intervals  up to 30minutes The results obtained were compared to the results of the dissolution of this drug in simulated gastric fluid in fast state [0.1 N HCl]. The study revealed that the dissolution of ciprofloxacin in Sudanese meals is lower than its dissolution in milk- whose reduction of dissolution of ciprofloxacin was mentioned in a lot of studies world-wide. The order of the influence of Sudanese meals, used in the study,  was foul followed by kissraa then  gorrasah which showed that the influence was directly proportional to the viscosity of the meal.  Using two different volumes of foul ,the study revealed that influence of meals on the dissolution of ciprofloxacin was significant even small amounts were used

FLAME RETARDED, REINFORCED POLYPROPYLENE TECHNICAL FIBRES

A new simple method has been elaborated for increasing the strength of oriented polypropylene fibres by additives. The principle of the process is the incorporation of inorganic fillers (such as talc or CaCO3 ) into polypropylene matrix material in a manner that allows maintaining the stretch ability of the fibre formed in this way. A new halogen free additive system has been developed which contains reactive P, N, Si and Zn derivatives that react with each other in the production line forming a flame retarded polypropylene fibre by reactive extrusion. The influence of the additive system under combustion is based on the formation of a closed intumescent surface layer, that hinders the heat and flammable material transport

Blind adaptive channel shortening with a generalized lag-hopping algorithm which employs squared auto-correlation minimization [GLHSAM].

A generalized blind lag-hopping adaptive channel shortening (GLHSAM) algorithm based upon squared auto-correlation minimization is proposed. This algorithm provides the ability to select a level of complexity at each iteration between the sum-squared autocorrelation minimization (SAM) algorithm due to Martin and Johnson and the single lag autocorrelation minimization (SLAM) algorithm proposed by Nawaz and Chambers whilst guaranteeing convergence to high signal to interference ratio (SIR). At each iteration a number of unique lags are chosen randomly from the available range so that on the average GLHSAM has the same cost as the SAM algorithm. The performance of the proposed GLHSAM algorithm is confirmed through simulation studies