3751 search results - page 575 / 751 » Events in security protocols |
104
click to vote
COMPSEC
2004
15 years 19 days 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...
PERCOM
2004
ACM
16 years 11 days 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...
84
Voted
ATVA
2009
Springer
15 years 7 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 ...
92
Voted
EUROCRYPT
2007
Springer
15 years 7 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. ...
115
Voted
IPPS
2006
IEEE
15 years 6 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...