24529 search results - page 579 / 4906 » Computing on Authenticated Data |
183
click to vote
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Current collaborative tools are often not able to profit from existing systems for user management. It is therefore necessary for collaborative systems to administrate their users ...
168
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
205
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
160
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In the process of platform attestation, a Trusted Platform Module is a performance bottleneck, which causes enormous delays if multiple simultaneously attestation requests arrive ...
140
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...