2687 search results - page 211 / 538 » Formal Analysis of PKCS |
138
click to vote
JOC
2007
15 years 4 months ago
2007
We give an informal analysis and critique of several typical “provable security” results. In some cases there are intuitive but convincing arguments for rejecting the conclusi...
IPL
2010
15 years 3 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
144
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
161
click to vote
COLING
2010
14 years 11 months ago
2010
We explore the near-synonym lexical choice problem using a novel representation of near-synonyms and their contexts in the latent semantic space. In contrast to traditional latent...
154
click to vote
SAS
2012
Springer
13 years 7 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...