4305 search results - page 80 / 861 » Analysing Protocol Implementations |
138
Voted
CLUSTER
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper presents a framework for building and deploying protocols for migrating mobile agents over the Internet. The framework enables network protocols for agent migration to b...
112
click to vote
ICFP
1997
ACM
15 years 6 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
125
Voted
WORDS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
121
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This letter proposes a novel key distribution protocol with no key exchange in advance, which is secure as the BB84 quantum key distribution protocol. Our protocol utilizes a phot...
123
Voted
ENTCS
2006
15 years 2 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...