2139 search results - page 272 / 428 » Distributed computing and computer security education |
119
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
123
click to vote
COREGRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
143
click to vote
ICCSA
2007
Springer
15 years 9 months ago
2007
Springer
In our recent study, we have presented an approach for tracing illegal users in content distribution networks using watermarking and fingerprinting techniques [1][2]. In this paper...
103
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The Java language and platform have been considered by many as natural candidate for creating grid systems. The platform-independent runtime environment, safe and high-level langu...
211
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
Directories have become an important component of the enterprise security and identity management middleware. This paper describes a novel filter based replication model for Light...