3115 search results - page 485 / 623 » Synthesizing Secure Protocols |
143
click to vote
CALCO
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
155
click to vote
LCN
2006
IEEE
15 years 11 months ago
2006
IEEE
Network server consolidation has become popular through recent virtualization technology that builds secure, isolated network systems on shared hardware. One of the virtualization...
157
click to vote
ENC
2005
IEEE
15 years 11 months ago
2005
IEEE
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....
160
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
151
Voted
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Network infrastructures are nowadays getting more and more complex as security considerations and technical needs like network address translation are blocking traffic and protocol...