741 search results - page 136 / 149 » Verification of security protocols using LOTOS-method and ap... |
153
click to vote
APPROX
2004
Springer
15 years 11 months ago
2004
Springer
A quantum encryption scheme (also called private quantum channel, or state randomization protocol) is a one-time pad for quantum messages. If two parties share a classical random s...
214
click to vote
IBMRD
2011
15 years 26 days ago
2011
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...
193
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Mashup is a web technology that combines information from more than one source into a single web application. This technique provides a new platform for different data providers t...
164
click to vote
TCC
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In this paper we consider commitment schemes that are secure against concurrent man-in-the-middle (cMiM) attacks. Under such attacks, two possible notions of security for...
178
click to vote
ICAC
2006
IEEE
15 years 12 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...