21520 search results - page 221 / 4304 » Symmetric network computation |
193
click to vote
ESORICS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
168
click to vote
KSEM
2007
Springer
16 years 23 days ago
2007
Springer
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
162
click to vote
PPAM
2007
Springer
16 years 22 days ago
2007
Springer
The concept of a partial derangement is introduced and a versatile representation of partial derangements is proposed with permutations and derangements as special cases. The repre...
161
click to vote
PPAM
2007
Springer
16 years 22 days ago
2007
Springer
Dense linear algebra codes are often expressed and coded in terms of BLAS calls. This approach, however, achieves suboptimal performance due to the overheads associated to such cal...
164
click to vote
ISW
2005
Springer
16 years 3 days ago
2005
Springer
We present a fully symmetric constant round authenticated group key agreement protocol in dynamic scenario. Our proposed scheme achieves forward secrecy and is provably secure und...