1679 search results - page 235 / 336 » Security Properties and CSP |
185
click to vote
PERCOM
2004
ACM
16 years 5 months ago
2004
ACM
: Service Discovery as an essential element in pervasive computing environments is widely accepted. Much active research on service discovery has been conducted, but privacy has be...
148
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
149
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Covert timing channels aim at transmitting hidden messages by controlling the time between transmissions of consecutive payload packets in overt network communication. Pr...
143
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose to replace the national identity card, currently used in many countries, by a personal device that allows its user to prove some binary statements about h...
138
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we study the degree to which a genomic string, Q, leaks details about itself any time it engages in comparison protocols with a genomic querier, Bob, even if those ...