554 search results - page 83 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
PERCOM
2011
ACM
13 years 2 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...
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
This position paper outlines a new network architecture that is based on the fundamental principle that networking is interprocess communication (IPC). In this model, application ...
EUROCRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
JSAC
2006
13 years 7 months ago
2006
Network mobility introduces far more complexity than host mobility. Therefore, host mobility protocols such as Mobile IPv6 (MIPv6) need to be extended to support this new type of m...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...