4111 search results - page 33 / 823 » Security, Protocols, and Trust |
83
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
119
Voted
ETRICS
2006
15 years 4 months ago
2006
One of the main advantages of peer-to-peer (P2P) systems is their capability to offer replicas of the same content at various locations. This allows to access contents even when so...
100
Voted
ITCC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...
158
click to vote
CMS
2011
14 years 8 days ago
2011
Abstract. Cloud computing promises a cost effective enabling technology to outsource storage and massively parallel computations. However, existing approaches for provably secure ...
ACISP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we propose an optimistic two-party fair exchange protocol which does not rely on a centralized trusted third party. Instead, the fairness of the protocol re...