718 search results - page 8 / 144 » Security protocols, properties, and their monitoring |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Advanced optical networks deploy wavelength division multiplexing technology to transport an unprecedented amount of information per fiber. Each optical channel transports informat...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
106
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Sleep-wake protocols are critical in sensor networks to ensure long-lived operation. However, an open problem is how to develop efficient mechanisms that can be incorporated with ...
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...