4,105 research outputs found
A Hybrid Analysis for Security Protocols with State
Cryptographic protocols rely on message-passing to coordinate activity among
principals. Each principal maintains local state in individual local sessions
only as needed to complete that session. However, in some protocols a principal
also uses state to coordinate its different local sessions. Sometimes the
non-local, mutable state is used as a means, for example with smart cards or
Trusted Platform Modules. Sometimes it is the purpose of running the protocol,
for example in commercial transactions.
Many richly developed tools and techniques, based on well-understood
foundations, are available for design and analysis of pure message-passing
protocols. But the presence of cross-session state poses difficulties for these
techniques.
In this paper we provide a framework for modeling stateful protocols. We
define a hybrid analysis method. It leverages theorem-proving---in this
instance, the PVS prover---for reasoning about computations over state. It
combines that with an "enrich-by-need" approach---embodied by CPSA---that
focuses on the message-passing part. As a case study we give a full analysis of
the Envelope Protocol, due to Mark Ryan
Generic Subsequence Matching Framework: Modularity, Flexibility, Efficiency
Subsequence matching has appeared to be an ideal approach for solving many
problems related to the fields of data mining and similarity retrieval. It has
been shown that almost any data class (audio, image, biometrics, signals) is or
can be represented by some kind of time series or string of symbols, which can
be seen as an input for various subsequence matching approaches. The variety of
data types, specific tasks and their partial or full solutions is so wide that
the choice, implementation and parametrization of a suitable solution for a
given task might be complicated and time-consuming; a possibly fruitful
combination of fragments from different research areas may not be obvious nor
easy to realize. The leading authors of this field also mention the
implementation bias that makes difficult a proper comparison of competing
approaches. Therefore we present a new generic Subsequence Matching Framework
(SMF) that tries to overcome the aforementioned problems by a uniform frame
that simplifies and speeds up the design, development and evaluation of
subsequence matching related systems. We identify several relatively separate
subtasks solved differently over the literature and SMF enables to combine them
in straightforward manner achieving new quality and efficiency. This framework
can be used in many application domains and its components can be reused
effectively. Its strictly modular architecture and openness enables also
involvement of efficient solutions from different fields, for instance
efficient metric-based indexes. This is an extended version of a paper
published on DEXA 2012.Comment: This is an extended version of a paper published on DEXA 201
Bang-bang dielectrophoretic orientation
Off-on dielectrophoretic propellant orientation in low gravity environmen
Offenders' Crime Narratives across Different Types of Crimes
The current study explores the roles offenders see themselves playing during an offence and their relationship to different crime types. One hundred and twenty incarcerated offenders indicated the narrative roles they acted out whilst committing a specific crime they remembered well. The data were subjected to Smallest Space Analysis (SSA) and four
themes were identified: Hero, Professional, Revenger and Victim in line with the recent theoretical framework posited for Narrative Offence Roles (Youngs & Canter, 2012). Further analysis showed that different subsets of crimes were more like to be associated with different narrative offence roles. Hero and Professional were found to be associated with property offences (theft, burglary and shoplifting), drug offences and robbery and Revenger
and Victim were found to be associated with violence, sexual offences and murder. The theoretical implications for understanding crime on the basis of offenders' narrative roles as well as practical implications are discussed
Criminal narrative experience: relating emotions to offence narrative roles during crime commission
A neglected area of research within criminality has been that of the experience of the offence for the offender. The present study investigates the emotions and narrative roles that are experienced by an offender while committing a broad range of crimes and proposes a model of Criminal Narrative Experience (CNE). Hypotheses were derived from the Circumplex of Emotions (Russell, 1997), Frye (1957), Narrative Theory (McAdams, 1988) and its link with Investigative Psychology (Canter, 1994). The analysis was based on 120 cases. Convicted for a variety of crimes, incarcerated criminals were interviewed and the data were subjected to Smallest Space Analysis (SSA). Four themes of Criminal Narrative Experience (CNE) were identified: Elated Hero, Calm Professional, Distressed Revenger and Depressed Victim in line with the recent theoretical framework posited for Narrative Offence Roles (Youngs & Canter, 2012). The theoretical implications for understanding crime on the basis of the Criminal Narrative Experience (CNE) as well as practical implications are discussed
A grid-based infrastructure for distributed retrieval
In large-scale distributed retrieval, challenges of latency, heterogeneity, and dynamicity emphasise the importance of infrastructural support in reducing the development costs of state-of-the-art solutions. We present a service-based infrastructure for distributed retrieval which blends middleware facilities and a design framework to ‘lift’ the resource sharing approach and the computational services of a European Grid platform into the domain of e-Science applications. In this paper, we give an overview of the DILIGENT Search Framework and illustrate its exploitation in the field of Earth Science
Thermal Impact on Spiking Properties in Hodgkin-Huxley Neuron with Synaptic Stimulus
The effect of environmental temperature on neuronal spiking behaviors is
investigated by numerically simulating the temperature dependence of spiking
threshold of the Hodgkin-Huxley neuron subject to synaptic stimulus. We find
that the spiking threshold exhibits a global minimum in a "comfortable
temperature" range where spike initiation needs weakest synaptic strength,
indicating the occurrence of optimal use of synaptic transmission in neural
system. We further explore the biophysical origin of this phenomenon in ion
channel gating kinetics and also discuss its possible biological relevance in
information processing in neural systems.Comment: 10 pages, 4 figure
Quantifying the impact of climate change on drought regimes using the Standardised Precipitation Index
The study presents a methodology to characterise short- or long-term drought events, designed to aid understanding of how climate change may affect future risk. An indicator of drought magnitude, combining parameters of duration, spatial extent and intensity, is presented based on the Standardised Precipitation Index (SPI). The SPI is applied to observed (1955–2003) and projected (2003–2050) precipitation data from the Community Integrated Assessment System (CIAS). Potential consequences of climate change on drought regimes in Australia, Brazil, China, Ethiopia, India, Spain, Portugal and the USA are quantified. Uncertainty is assessed by emulating a range of global circulation models to project climate change. Further uncertainty is addressed through the use of a high-emission scenario and a low stabilisation scenario representing a stringent mitigation policy. Climate change was shown to have a larger effect on the duration and magnitude of long-term droughts, and Australia, Brazil, Spain, Portugal and the USA were highlighted as being particularly vulnerable to multi-year drought events, with the potential for drought magnitude to exceed historical experience. The study highlights the characteristics of drought which may be more sensitive under climate change. For example, on average, short-term droughts in the USA do not become more intense but are projected to increase in duration. Importantly, the stringent mitigation scenario had limited effect on drought regimes in the first half of the twenty-first century, showing that adaptation to drought risk will be vital in these regions
- …