2162 search results - page 88 / 433 » A Meta-Notation for Protocol Analysis |
USENIX
1994
13 years 10 months ago
1994
In this paper we characterize the latency of the BSD 4.4 alpha implementation of TCP on an ATM network. Latency reduction is a difficult task, and careful analysis is the first st...
IJFCS
2008
13 years 8 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
HPCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents our novel protocol design and implementation of an all-software page-based DSM system. The protocol combines the advantages of homeless and home-based...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
ICIW
2007
IEEE
13 years 9 months ago
2007
IEEE
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...