1853 search results - page 135 / 371 » Cryptographic Protocols and Network Security |
140
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
112
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
— It is possible to show that well-known attacks on authentication protocols are flawed. This is a problem, since good protocols may thus be dismissed rather than improved and p...
111
click to vote
SP
1989
IEEE
15 years 8 months ago
1989
IEEE
Routing mechanisms for inter-autonomousregion communication require distribution of policy-sensitive information as well as algorithms that operate on such information. Without su...
252
Voted
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
127
click to vote
STOC
2006
ACM
16 years 4 months ago
2006
ACM
d abstract) Yuval Ishai Eyal Kushilevitz Yehuda Lindell Erez Petrank It is well known that the secure computation of non-trivial functionalities in the setting of no honest majori...