12452 search results - page 2153 / 2491 » An exploration of program as language |
156
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
175
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
179
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
202
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This papers presents new Global Positioning System (GPS)based route discovery algorithms for on-demand routing in MANETs, called Position-based Selective Flooding (PSF). ...
154
click to vote
IFIP
2004
Springer
16 years 1 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...