5374 search results - page 279 / 1075 » The induction of communication protocols |
190
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
167
click to vote
JIPS
2007
15 years 6 months ago
2007
: We propose several practical SMC protocols for privacy-preserving cooperative scientific computations. We consider two important scientific computations which involve linear equa...
220
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
A group key agreement protocol (GKA) allows a set of players to establish a shared secret key which can be used to secure a subsequent communication. Several efficient constantrou...
141
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
A semantic application typically is a heterogenous system of interconnected components, most notably a reasoner. OWLlink is an implementation-neutral protocol for communication bet...
167
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— This work proposes the Wireless-mesh-network Proactive Routing (WPR) protocol for wireless mesh networks. Unlike current routing protocols, such as the Optimized LinkState Rout...