1302 search results - page 72 / 261 » Soundness in the Public-Key Model |
214
click to vote
SCN
2010
Springer
15 years 4 months ago
2010
Springer
Serge Vaudenay [20] introduced a notion of Message Authentication (MA) protocols in the Short Authenticated String (SAS) model. A SAS-MA protocol authenticates arbitrarily long mes...
156
click to vote
CONSTRAINTS
2007
15 years 6 months ago
2007
The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a ...
192
click to vote
ENTCS
2006
15 years 6 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
172
click to vote
NIPS
2004
15 years 7 months ago
2004
The representation of acoustic signals at the cochlear nerve must serve a wide range of auditory tasks that require exquisite sensitivity in both time and frequency. Lewicki (2002...
149
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
Countries aiming to transform their Governments require a more sophisticated e-government model