4716 search results - page 374 / 944 » Iterative-free program analysis |
187
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
168
click to vote
SIGCOMM
1997
ACM
15 years 11 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
192
click to vote
AGP
1993
IEEE
15 years 11 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
175
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
186
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...