2199 search results - page 330 / 440 » Adapting Privacy-Preserving Computation to the Service Provi... |
107
Voted
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
ESORICS
2004
Springer
15 years 6 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...
114
Voted
MAGS
2008
15 years 20 days ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
79
Voted
CISIS
2009
IEEE
15 years 7 months ago
2009
IEEE
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...
94
Voted
CSREASAM
2006
15 years 2 months ago
2006
- Security is an important issue for Wireless Sensor Network (WSN), especially for security-sensitive application. In this paper, we address secure authentication problems in WSN. ...