56 search results - page 12 / 12 » Distributed Control Flow with Classical Modal Logic |
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Location-hidden services, as offered by anonymity systems such as Tor, allow servers to be operated under a pseudonym. As Tor is an overlay network, servers hosting hidden service...