449 search results - page 43 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
121
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
136
click to vote
ASIACRYPT
2004
Springer
15 years 7 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
146
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
126
click to vote
ACTA
2005
15 years 1 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
107
click to vote
CNSR
2006
IEEE
15 years 7 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...