16 search results - page 4 / 4 » Preserving privacy in participatory sensing systems |
ESORICS
2005
Springer
13 years 11 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...