468 search results - page 23 / 94 » Cryptographic and Computational Challenges in Grid Computing |
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
106
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
GRID
2007
Springer
15 years 8 months ago
2007
Springer
– Grid access control policy languages today are generally one of two extremes: either extremely simplistic, or overly complex and challenging for even security experts to use. I...
102
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
132
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Solving optimally large instances of combinatorial optimization problems requires a huge amount of computational resources. In this paper, we propose an adaptation of the parallel...