5324 search results - page 195 / 1065 » Internet Security Protocols |
211
click to vote
PDCAT
2007
Springer
16 years 1 months ago
2007
Springer
When datasets are distributed on different sources, finding out their intersection while preserving the privacy of the datasets is a widely required task. In this paper, we addre...
149
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
We use semi-regular entities to denote the entities different from penetrates that participate in the protocol on behalf of themselves such as customers in e-commerce.
212
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
199
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
161
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...