469 research outputs found
YAPA: A generic tool for computing intruder knowledge
Reasoning about the knowledge of an attacker is a necessary step in many
formal analyses of security protocols. In the framework of the applied pi
calculus, as in similar languages based on equational logics, knowledge is
typically expressed by two relations: deducibility and static equivalence.
Several decision procedures have been proposed for these relations under a
variety of equational theories. However, each theory has its particular
algorithm, and none has been implemented so far. We provide a generic procedure
for deducibility and static equivalence that takes as input any convergent
rewrite system. We show that our algorithm covers most of the existing decision
procedures for convergent theories. We also provide an efficient
implementation, and compare it briefly with the tools ProVerif and KiSs
Impact of anesthesia on patient and endoscopist satisfaction after colonoscopy â A pilot study
Automating Security Analysis: Symbolic Equivalence of Constraint Systems
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy). Infinite sets of possible traces are symbolically represented using deducibility constraints. We give a new algorithm that decides the trace equivalence for the traces that are represented using such constraints, in the case of signatures, symmetric and asymmetric encryptions. Our algorithm is implemented and performs well on typical benchmarks. This is the first implemented algorithm, deciding symbolic trace equivalence
Turbulent transport of material particles: An experimental study of finite size effects
We use an acoustic Lagrangian tracking technique, particularly adapted to
measurements in open flows, and a versatile material particles generator (in
the form of soap bubbles with adjustable size and density) to characterize
Lagrangian statistics of finite sized, neutrally bouyant, particles transported
in an isotropic turbulent flow of air. We vary the size of the particles in a
range corresponding to turbulent inertial scales and explore how the turbulent
forcing experienced by the particles depends on their size. We show that, while
the global shape of the intermittent acceleration probability density function
does not depend significantly on particle size, the acceleration variance of
the particles decreases as they become larger in agreement with the classical
scaling for the spectrum of Eulerian pressure fluctuations in the carrier flow
Recommended from our members
Finite Element Simulations of Dynamic Shear Rupture Experiments and Dynamic Path Selection along Kinked and Branched Faults
We analyze the nucleation and propagation of shear cracks along nonplanar, kinked, and branched fault paths corresponding to the configurations used in recent laboratory fracture studies by Rousseau and Rosakis (2003, 2009). The aim is to reproduce numerically those shear rupture experiments and from that provide an insight into processes which are active when a crack, initially propagating in mode II along a straight path, interacts with a bend in the fault or a branching junction. The experiments involved impact loading of thin Homalite-100 (a photoelastic polymer) plates, which had been cut along bent or branched paths and weakly glued back together everywhere except along a starter notch near the impact site. Strain gage recordings and high-speed photography of isochromatic lines provided characterization of the transient deformation fields associated with the impact and fracture propagation. We found that dynamic explicit 2-D plane-stress finite element analyses with a simple linear slip-weakening description of cohesive and frictional strength of the bonded interfaces can reproduce the qualitative rupture behavior past the bend and branch junctions in most cases and reproduce the principal features revealed by the photographs of dynamic isochromatic line patterns. The presence of a kink or branch can cause an abrupt change in rupture propagation velocity. Additionally, the finite element results allow comparison between total slip accumulated along the main and inclined fault segments. We found that slip along inclined faults can be substantially less than slip along the main fault, and the amount depends on the branch angle and kink or branch configuration.Earth and Planetary SciencesEngineering and Applied Science
Effect of particle size on the measurement of the apparent contact angle in sand of varying wettability under air-dried conditions
Session: Advances in Experimental Methods: Mechanical PropertiesChanges in the wettability of soil are known to affect several processes such as infiltration and the shear strength of soil. In this study, the wettability of a medium to fine sand was chemically modified by using different concentrations of dimethyldichlorosilane (DMDCS). The sessile drop method (SDM) was used for the assessment of wettability of hydrophobised Leighton Buzzard Sand (LBS). The results demonstrate that beyond a concentration of 2 g per kg of LBS, the finer fraction had its apparent contact angle (ACA) increased up to 115° while the maximum ACA attained by the coarser fractions was 100°. At such high concentration of DMDCS, the effect of trapped air, which is known to increase the ACA, was found to be either small or insignificant. The standard deviations of the ACAs agreed well with past studies. The most important factors contributing to the water-repellent behaviour of chemically synthesised sand were attributed to the characteristics of the particles; these include surface area and particle shape.published_or_final_versio
No need to open the jar: A comparative study of Magnetic Resonance Imaging results on fresh and alcohol preserved common carps (<i>Cyprinus carpio</i> (L. 1758), Cyprinidae, Teleostei)
Low Temperature Gaseous Helium and very High Turbulence Experiments
Cryogenic gaseous helium gives access to extreme turbulent experimental conditions. The very high cooling helium flow rates available at CERN have been used to reach Reynolds numbers up to Re ~ 10**7 in a round jet experiment. First results are discussed
Scattering of first and second sound waves by quantum vorticity in superfluid Helium
We study the scattering of first and second sound waves by quantum vorticity
in superfluid Helium using two-fluid hydrodynamics. The vorticity of the
superfluid component and the sound interact because of the nonlinear character
of these equations. Explicit expressions for the scattered pressure and
temperature are worked out in a first Born approximation, and care is exercised
in delimiting the range of validity of the assumptions needed for this
approximation to hold. An incident second sound wave will partly convert into
first sound, and an incident first sound wave will partly convert into second
sound. General considerations show that most incident first sound converts into
second sound, but not the other way around. These considerations are validated
using a vortex dipole as an explicitely worked out example.Comment: 24 pages, Latex, to appear in Journal of Low Temperature Physic
- âŠ