3115 search results - page 490 / 623 » Synthesizing Secure Protocols |
178
click to vote
IEEEARES
2009
IEEE
16 years 18 days ago
2009
IEEE
—Targeting the operating system kernel, the core of trust in a system, kernel rootkits are able to compromise the entire system, placing it under malicious control, while eluding...
171
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
141
click to vote
PERCOM
2004
ACM
16 years 5 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...
126
click to vote
ATVA
2009
Springer
16 years 10 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 ...
144
click to vote
EUROCRYPT
2007
Springer
15 years 12 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. ...