1302 search results - page 26 / 261 » Soundness in the Public-Key Model |
124
click to vote
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The Solar Trust Model provides a method by which the sender of a message can be authenticated, and the level of trust that can be placed in the sender of the message or the messag...
129
click to vote
FUIN
2007
15 years 1 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
104
click to vote
IJFCS
2007
15 years 1 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
136
click to vote
VR
2010
IEEE
15 years 8 days ago
2010
IEEE
We present a new interaction handling model for physics-based sound synthesis in virtual environments. A new three-level surface representation for describing object shapes, visib...
NIPS
2007
15 years 3 months ago
2007
Sound localization by barn owls is commonly modeled as a matching procedure where localization cues derived from auditory inputs are compared to stored templates. While the matchi...