10072 search results - page 1628 / 2015 » Composition of Model Programs |
186
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
207
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
248
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
212
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
178
click to vote
IWSEC
2007
Springer
16 years 28 days ago
2007
Springer
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...