5374 search results - page 196 / 1075 » The induction of communication protocols |
144
click to vote
ISPDC
2005
IEEE
16 years 5 days ago
2005
IEEE
The support on cluster environments of ”legacy protocols” is important to avoid rewriting the code of applications, but this support should not prevent to achieve the maximum ...
160
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
187
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
In this paper, we present STP, a system in which communicating end hosts use untrusted mobile code to remotely upgrade each other with the transport protocols that they use to com...
184
click to vote
IPL
2006
15 years 6 months ago
2006
We study the problem of Perfectly Reliable Message Transmission (PRMT) and Perfectly Secure Message Transmission (PSMT) between two nodes S and R in an undirected synchronous netw...
173
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...