10,485 research outputs found
Formal Analysis of V2X Revocation Protocols
Research on vehicular networking (V2X) security has produced a range of
security mechanisms and protocols tailored for this domain, addressing both
security and privacy. Typically, the security analysis of these proposals has
largely been informal. However, formal analysis can be used to expose flaws and
ultimately provide a higher level of assurance in the protocols.
This paper focusses on the formal analysis of a particular element of
security mechanisms for V2X found in many proposals: the revocation of
malicious or misbehaving vehicles from the V2X system by invalidating their
credentials. This revocation needs to be performed in an unlinkable way for
vehicle privacy even in the context of vehicles regularly changing their
pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and
RTOKEN aim to solve this challenge by means of cryptographic solutions and
trusted hardware.
Formal analysis using the TAMARIN prover identifies two flaws with some of
the functional correctness and authentication properties in these schemes. We
then propose Obscure Token (OTOKEN), an extension of REWIRE to enable
revocation in a privacy preserving manner. Our approach addresses the
functional and authentication properties by introducing an additional key-pair,
which offers a stronger and verifiable guarantee of successful revocation of
vehicles without resolving the long-term identity. Moreover OTOKEN is the first
V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure
Evolutionary Approaches to Optimization Problems in Chimera Topologies
Chimera graphs define the topology of one of the first commercially available
quantum computers. A variety of optimization problems have been mapped to this
topology to evaluate the behavior of quantum enhanced optimization heuristics
in relation to other optimizers, being able to efficiently solve problems
classically to use them as benchmarks for quantum machines. In this paper we
investigate for the first time the use of Evolutionary Algorithms (EAs) on
Ising spin glass instances defined on the Chimera topology. Three genetic
algorithms (GAs) and three estimation of distribution algorithms (EDAs) are
evaluated over hard instances of the Ising spin glass constructed from
Sidon sets. We focus on determining whether the information about the topology
of the graph can be used to improve the results of EAs and on identifying the
characteristics of the Ising instances that influence the success rate of GAs
and EDAs.Comment: 8 pages, 5 figures, 3 table
Residential location choices of an isolated workforce:Shifts in social attachment of former seafarers
Network Inference via the Time-Varying Graphical Lasso
Many important problems can be modeled as a system of interconnected
entities, where each entity is recording time-dependent observations or
measurements. In order to spot trends, detect anomalies, and interpret the
temporal dynamics of such data, it is essential to understand the relationships
between the different entities and how these relationships evolve over time. In
this paper, we introduce the time-varying graphical lasso (TVGL), a method of
inferring time-varying networks from raw time series data. We cast the problem
in terms of estimating a sparse time-varying inverse covariance matrix, which
reveals a dynamic network of interdependencies between the entities. Since
dynamic network inference is a computationally expensive task, we derive a
scalable message-passing algorithm based on the Alternating Direction Method of
Multipliers (ADMM) to solve this problem in an efficient way. We also discuss
several extensions, including a streaming algorithm to update the model and
incorporate new observations in real time. Finally, we evaluate our TVGL
algorithm on both real and synthetic datasets, obtaining interpretable results
and outperforming state-of-the-art baselines in terms of both accuracy and
scalability
Hydrogen atom in phase space. The Kirkwood-Rihaczek representation
We present a phase-space representation of the hydrogen atom using the
Kirkwood-Rikaczek distribution function. This distribution allows us to obtain
analytical results, which is quite unique because an exact analytical form of
the Wigner functions corresponding to the atom states is not known. We show how
the Kirkwood-Rihaczek distribution reflects properties of the hydrogen atom
wave functions in position and momentum representations.Comment: 5 pages (and 5 figures
Mapping the Wigner distribution function of the Morse oscillator into a semi-classical distribution function
The mapping of the Wigner distribution function (WDF) for a given bound-state
onto a semiclassical distribution function (SDF) satisfying the Liouville
equation introduced previously by us is applied to the ground state of the
Morse oscillator. Here we give results showing that the SDF gets closer to the
corresponding WDF as the number of levels of the Morse oscillator increases. We
find that for a Morse oscillator with one level only, the agreement between the
WDF and the mapped SDF is very poor but for a Morse oscillator of ten levels it
becomes satisfactory.Comment: Revtex, 27 pages including 13 eps figure
Shape of retracting foils that model morphing bodies controls shed energy and wake structure
The flow mechanisms of shape-changing moving bodies are investigated through the simple model of a foil that is rapidly retracted over a spanwise distance as it is towed at constant angle of attack. It is shown experimentally and through simulation that by altering the shape of the tip of the retracting foil, different shape-changing conditions may be reproduced, corresponding to: (i) a vanishing body, (ii) a deflating body and (iii) a melting body. A sharp-edge, ‘vanishing-like’ foil manifests strong energy release to the fluid; however, it is accompanied by an additional release of energy, resulting in the formation of a strong ring vortex at the sharp tip edges of the foil during the retracting motion. This additional energy release introduces complex and quickly evolving vortex structures. By contrast, a streamlined, ‘shrinking-like’ foil avoids generating the ring vortex, leaving a structurally simpler wake. The ‘shrinking’ foil also recovers a large part of the initial energy from the fluid, resulting in much weaker wake structures. Finally, a sharp edged but hollow, ‘melting-like’ foil provides an energetic wake while avoiding the generation of a vortex ring. As a result, a melting-like body forms a simple and highly energetic and stable wake, that entrains all of the original added mass fluid energy. The three conditions studied correspond to different modes of flow control employed by aquatic animals and birds, and encountered in disappearing bodies, such as rising bubbles undergoing phase change to fluid
Inclusive 2H(3He,t) reaction at 2 GeV
The inclusive 2H(3He,t) reaction has been studied at 2 GeV for energy
transfers up to 500 MeV and scattering angles from 0.25 up to 4 degrees. Data
are well reproduced by a model based on a coupled-channel approach for
describing the NN and N Delta systems. The effect of final state interaction is
important in the low energy part of the spectra. In the delta region, the
cross-section is very sensitive to the effects of Delta-N interaction and Delta
N - NN process. The latter has also a large influence well below the pion
threshold. The calculation underestimates the experimental cross-section
between the quasi-elastic and the delta peaks; this is possibly due to
projectile excitation or purely mesonic exchange currents.Comment: 9 pages, 9 figures, accepted for publication in EPJ
- …