5,165 research outputs found
Formal security analysis of registration protocols for interactive systems: a methodology and a case of study
In this work we present and formally analyze CHAT-SRP (CHAos based
Tickets-Secure Registration Protocol), a protocol to provide interactive and
collaborative platforms with a cryptographically robust solution to classical
security issues. Namely, we focus on the secrecy and authenticity properties
while keeping a high usability. In this sense, users are forced to blindly
trust the system administrators and developers. Moreover, as far as we know,
the use of formal methodologies for the verification of security properties of
communication protocols isn't yet a common practice. We propose here a
methodology to fill this gap, i.e., to analyse both the security of the
proposed protocol and the pertinence of the underlying premises. In this
concern, we propose the definition and formal evaluation of a protocol for the
distribution of digital identities. Once distributed, these identities can be
used to verify integrity and source of information. We base our security
analysis on tools for automatic verification of security protocols widely
accepted by the scientific community, and on the principles they are based
upon. In addition, it is assumed perfect cryptographic primitives in order to
focus the analysis on the exchange of protocol messages. The main property of
our protocol is the incorporation of tickets, created using digests of chaos
based nonces (numbers used only once) and users' personal data. Combined with a
multichannel authentication scheme with some previous knowledge, these tickets
provide security during the whole protocol by univocally linking each
registering user with a single request. [..]Comment: 32 pages, 7 figures, 8 listings, 1 tabl
Combinatorics of lattice paths with and without spikes
We derive a series of results on random walks on a d-dimensional hypercubic
lattice (lattice paths). We introduce the notions of terse and simple paths
corresponding to the path having no backtracking parts (spikes). These paths
label equivalence classes which allow a rearrangement of the sum over paths.
The basic combinatorial quantities of this construction are given. These
formulas are useful when performing strong coupling (hopping parameter)
expansions of lattice models. Some applications are described.Comment: Latex. 25 page
Large reduction with the Twisted Eguchi-Kawai model
We examine the breaking of symmetry recently reported for the Twisted
Eguchi-Kawai model (TEK). We analyse the origin of this behaviour and propose
simple modifications of twist and lattice action that could avoid the problem.
Our results show no sign of symmetry breaking and allow us to obtain values of
the large infinite volume string tension in agreement with extrapolations
from results based upon straightforward methods.Comment: latex file 14 pages, 4 figure
Topological obstructions in the way of data-driven collective variables
Nonlinear dimensionality reduction (NLDR) techniques are increasingly used to visualize molecular trajectories and to create data-driven collective variables for enhanced sampling simulations. The success of these methods relies on their ability to identify the essential degrees of freedom characterizing conformational changes. Here, we show that NLDR methods face serious obstacles when the underlying collective variables present periodicities, e.g., arising from proper dihedral angles. As a result, NLDR methods collapse very distant configurations, thus leading to misinterpretations and inefficiencies in enhanced sampling. Here, we identify this largely overlooked problem and discuss possible approaches to overcome it. We also characterize the geometry and topology of conformational changes of alanine dipeptide, a benchmark system for testing new methods to identify collective variables. Nonlinear dimensionality reduction (NLDR) techniques are increasingly used to visualize molecular trajectories and to create data-driven collective variables for enhanced sampling simulations. The success of these methods relies on their ability to identify the essential degrees of freedom characterizing conformational changes. Here, we show that NLDR methods face serious obstacles when the underlying collective variables present periodicities, e.g., arising from proper dihedral angles. As a result, NLDR methods collapse very distant configurations, thus leading to misinterpretations and inefficiencies in enhanced sampling. Here, we identify this largely overlooked problem and discuss possible approaches to overcome it. We also characterize the geometry and topology of conformational changes of alanine dipeptide, a benchmark system for testing new methods to identify collective variables
Radio detection of the young binary HD 160934
Precise determination of dynamical masses of pre-main-sequence (PMS) stars is
essential to calibrate stellar evolution models that are widely used to derive
theoretical masses of young low-mass objects. Binary stars in young, nearby
loose associations are particularly good candidates for this calibration since
all members share a common age. Interestingly, some of these young binaries
present a persistent and compact radio emission, which makes them excellent
targets for astrometric VLBI studies. We aim to monitor the orbital motion of
the binary system HD 160934, a member of the AB Doradus moving group. We
observed HD 160934 with the Very Large Array and the European VLBI Network at
8.4 and 5 GHz, respectively. The orbital information derived from these
observations was analyzed along with previously reported orbital measurements.
We show that the two components of the binary, HD 160934 A and HD 160934 c,
display compact radio emission at VLBI scales, providing precise information on
the relative orbit. Revised orbital elements were estimated. Future VLBI
monitoring of this pair should determine precise model-independent mass
estimates for the A and c components, which will serve as calibration tests for
PMS evolutionary models.Comment: 5 pages, 5 figures, accepted for publication in A&
- …