718 search results - page 91 / 144 » Operational Semantics of Security Protocols |
LCN
2000
IEEE
14 years 12 days ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
MOBIHOC
2007
ACM
14 years 7 months ago
2007
ACM
Disruption-Tolerant Networks (DTNs) deliver data in network environments composed of intermittently connected nodes. Just as in traditional networks, malicious nodes within a DTN ...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
DEBU
2008
13 years 8 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
DAWAK
2007
Springer
14 years 2 months ago
2007
Springer
We propose a privacy-preserving protocol for computing aggregation queries over the join of private tables. In this problem, several parties wish to share aggregated information ov...