6861 search results - page 1213 / 1373 » Security for Ubiquitous Computing |
173
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Today's high-end massively parallel processing (MPP) machines have thousands to tens of thousands of processors, with next-generation systems planned to have in excess of one...
177
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
183
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
176
click to vote
CRYPTO
2006
Springer
15 years 9 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
133
click to vote
DRM
2006
Springer
15 years 9 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...