3888 search results - page 130 / 778 » Change-Driven Model Transformations |
148
click to vote
ESORICS
2012
Springer
13 years 7 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
151
click to vote
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper deals with generic transformations from ID-based key encapsulation mechanisms (IBKEM) to hybrid public-key encryption (PKE). The best generic transformation known until...
145
click to vote
FAC
2010
15 years 3 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
140
click to vote
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present the Dynamic Injection Model (DIM) and its variant the Static Injection Model (SIM). DIM is a model that allows any iterative block cipher to accept a var...
163
click to vote
NIPS
2003
15 years 5 months ago
2003
We examine the use of hidden Markov and hidden semi-Markov models for automatically segmenting an electrocardiogram waveform into its constituent waveform features. An undecimated...