4612 search results - page 476 / 923 » More Communications |
163
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal speciļ¬cation of the actions of the adversa...
163
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Wireless network research still lacks methods to integratively evaluate the performance that can be expected from application layer protocols. The user behavior is predominantly aļ...
158
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
We analyze an algebraic representation of AESā128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...
167
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
We introduce an extension of the Parikh mapping called the Parikh Ā¢ -matrix mapping, which takes its values in matrices with polynomial entries. The morphism constructed represent...
274
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...