56 search results - page 12 / 12 » Distributed Control Flow with Classical Modal Logic |
136
click to vote
CCS
2006
ACM
15 years 6 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...