1690 search results - page 108 / 338 » A Security Framework for JXTA-Overlay |
199
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
155
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many groups are interested in the insider threat problem, but the model generally used by all of these groups is implicitly binary—one is either within a perimeter or not. There...
168
click to vote
ASIACRYPT
2009
Springer
16 years 29 days ago
2009
Springer
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
163
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— We present a cooperative intrusion detection approach inspired by biological immune system principles and P2P communication techniques to develop a distributed anomaly ...
210
click to vote
ICAS
2006
IEEE
16 years 13 days ago
2006
IEEE
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...