Sciweavers

4305 search results - page 44 / 861
» Analysing Protocol Implementations
Sort
View
IFIP
2009
Springer
15 years 27 days ago
Game-Based Verification of Multi-Party Contract Signing Protocols
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
CSE
2009
IEEE
15 years 10 months ago
Ceremonies Formal Analysis in PKI's Context
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
Jean Everson Martina, Túlio Cicero Salvaro ...
SPW
2005
Springer
15 years 8 months ago
Implementing a Multi-hat PDA
We describe our work in progress aimed at implementing a multi-hat PDA. Our current prototype is based on SELinux and KDE and accepts a proximity token, in the form of a Bluetooth ...
Matthew Johnson
ICDCN
2009
Springer
15 years 10 months ago
An Analytical Model of Information Dissemination for a Gossip-Based Protocol
We develop an analytical model of information dissemination for a gossip protocol. With this model we analyse how fast an item is replicated through a network. We also determine th...
Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarte...
CNSR
2006
IEEE
132views Communications» more  CNSR 2006»
15 years 9 months ago
SCTP Multihoming Support for Handoffs across Heterogeneous Networks
Next-generation mobile terminals are expected to provide users with seamless, uninterrupted network connectivity while moving across wide geographic locations. Achieving continuou...
Farhan Siddiqui, Sherali Zeadally