3504 search results - page 554 / 701 » Secure protocol composition |
150
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
This paper introduces and solves a security problem of pervasive computing: how to define authorizations for offline interactions when trust relationships among entities do not ex...
136
click to vote
ATVA
2009
Springer
16 years 29 days ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
151
click to vote
EUROCRYPT
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents an off-line divisible e-cash scheme where a user can withdraw a divisible coin of monetary value 2L that he can parceled and spend anonymously and unlinkably. ...
180
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
156
click to vote
EUROCRYPT
2005
Springer
15 years 12 months ago
2005
Springer
In undeniable signature schemes, zero-knowledgeness and non-transferability have been identified so far. In this paper, by separating these two notions, we show the first 3-move ...