14824 search results - page 232 / 2965 » Security - Introduction |
164
click to vote
WISTP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a protocol that allows servers to securely distribute secrets to trusted platforms. The protocol maintains the confidentiality of secrets in the face of eaves...
160
click to vote
SP
2006
IEEE
16 years 19 days ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
179
click to vote
WS
2006
ACM
16 years 17 days ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...