718 search results - page 66 / 144 » Security protocols, properties, and their monitoring |
178
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
151
click to vote
IPSN
2007
Springer
16 years 9 days ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...
168
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
155
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
An understanding of certain network functions is critical for successful network management. Managers must have insight into network topology, protocol performance and fault detec...
157
click to vote
IFIP
2009
Springer
15 years 3 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...