741 search results - page 136 / 149 » Verification of security protocols using LOTOS-method and ap... |
APPROX
2004
Springer
14 years 26 days 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...
IBMRD
2011
13 years 2 months 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...
ICWS
2009
IEEE
14 years 4 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...
TCC
2009
Springer
14 years 8 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...
ICAC
2006
IEEE
14 years 1 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...