9821 search results - page 116 / 1965 » A Framework for the Development of Protocols |
124
click to vote
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
118
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
161
click to vote
CRYPTO
2010
Springer
15 years 5 months ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
125
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
As mobile phone becomes popular in the society and many people can afford the cost, the demand of mobility is extended to teaching and learning purposes. One recent and significan...
116
click to vote
ENTCS
2008
15 years 4 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...