3751 search results - page 575 / 751 » Events in security protocols |
132
click to vote
COMPSEC
2004
15 years 3 months ago
2004
Identifying the intentions or attempts of the monitored agents through observations is very vital in computer network security. In this paper, a plan recognition method for predict...
117
click to vote
PERCOM
2004
ACM
16 years 3 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...
106
click to vote
ATVA
2009
Springer
15 years 10 months 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 ...
120
click to vote
EUROCRYPT
2007
Springer
15 years 10 months 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. ...
140
click to vote
IPPS
2006
IEEE
15 years 10 months 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...