24529 search results - page 141 / 4906 » Computing on Authenticated Data |
128
Voted
APSCC
2007
IEEE
15 years 9 months ago
2007
IEEE
In order to secure communications for dynamic peer groups in mobile computing environments, key agreement protocols are required. In this paper, we propose a new key agreement pro...
123
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
Access control to sensitive resources in pervasive computing needs to take uncertainty into account. Previous research has developed uncertainty-aware access-control models for en...
116
Voted
HCI
2009
15 years 12 days ago
2009
Abstract. We present a new approach to the design, development and evaluation of embodied conversational agents (ECAs) that allows them to index identity through culturally and soc...
116
click to vote
SSDBM
2005
IEEE
15 years 8 months ago
2005
IEEE
Scientific investigations have to deal with rapidly growing amounts of data from simulations and experiments. During data analysis, scientists typically want to extract subsets o...
121
Voted
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...