1286 search results - page 98 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
123
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
In this paper, we model Probabilistic Packet Marking (PPM) schemes for IP traceback as an identification problem of a large number of markers. Each potential marker is associated ...
136
click to vote
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
150
click to vote
EUROCRYPT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
157
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...
133
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...