4305 search results - page 129 / 861 » Analysing Protocol Implementations |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
WCFLP
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
CSFW
1999
IEEE
14 years 1 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
ICCL
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents a lightweight object migration protocol that preserves centralized object semantics yet allows for precise prediction of network behavior. The protocol is impl...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper introduces an asynchronous optimistic certified email protocol, with stateless recipients, that relies on key chains to considerably reduce the storage requirements of t...