3504 search results - page 545 / 701 » Secure protocol composition |
JALC
2006
15 years 1 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
89
Voted
NETWORK
2008
15 years 1 months ago
2008
The Domain Name System (DNS) is the global lookup service for network resources. To protect DNS information, the DNS Security Extensions (DNSSEC) have been developed and deployed ...
132
click to vote
PVLDB
2010
15 years 21 hour ago
2010
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
140
click to vote
BIOSIG
2009
14 years 11 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
101
click to vote
CRITIS
2009
14 years 11 months ago
2009
Abstract. With an increasing demand of inter-connectivity and protocol standardization modern cyber-critical infrastructures are exposed to a multitude of serious threats that may ...