1818 search results - page 338 / 364 » Granularity-Adaptive Proof Presentation |
136
click to vote
CRYPTO
2003
Springer
15 years 8 months ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
128
click to vote
EUROCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we present a general framework for passwordbased authenticated key exchange protocols, in the common reference odel. Our protocol is actually an abstraction...
150
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
142
click to vote
ILP
2003
Springer
15 years 8 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
129
Voted
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...