5374 search results - page 772 / 1075 » The induction of communication protocols |
176
click to vote
ICICS
2004
Springer
16 years 25 days ago
2004
Springer
In order to decide on advertisement fees for web servers, Naor and Pinkas introduced (threshold) metering schemes secure against coalitions of corrupt servers and clients. They sho...
187
Voted
IFIP
2004
Springer
16 years 25 days ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
183
Voted
IFIP
2004
Springer
16 years 25 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...
190
Voted
IFIP
2004
Springer
16 years 25 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
190
click to vote
ISOLA
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...