3504 search results - page 493 / 701 » Secure protocol composition |
JSS
2007
15 years 1 months ago
2007
This paper presents Worm-IT, a new intrusion-tolerant group communication system with a membership service and a view-synchronous atomic multicast primitive. The system is intrusi...
120
click to vote
MONET
2010
15 years 5 days ago
2010
It is well recognized that security is vital for reliable operation of vehicular ad-hoc networks (VANETs). Location privacy is one of the main security challenges in VANETs, which ...
208
click to vote
NCA
2011
IEEE
14 years 8 months ago
2011
IEEE
—Neural Networks have been an active research area for decades. However, privacy bothers many when the training dataset for the neural networks is distributed between two parties...
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
134
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...