5374 search results - page 6 / 1075 » The induction of communication protocols |
82
Voted
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
101
Voted
MASCOTS
2008
15 years 1 months ago
2008
Anonymity protocols are a privacy-enhancing technology for Internet-based communication. Two important characteristics of anonymity protocols are the strength of anonymity provide...
CHARME
2001
Springer
15 years 3 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
CAV
1998
Springer
15 years 3 months ago
1998
Springer
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...
LATINCRYPT
2010
14 years 10 months ago
2010
Abstract. Broadcast (BC) is considered as the most fundamental primitive for fault-tolerant distributed computing and cryptographic protocols. An important and practical variant of...