3811 search results - page 321 / 763 » The Safe-Tcl Security Model |
163
click to vote
ICDCS
2005
IEEE
16 years 10 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
175
click to vote
POPL
2005
ACM
16 years 9 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
175
click to vote
CTRSA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we give a first example of identity based undeniable signature using pairings over elliptic curves. We extend to the identity based setting the security m...
177
click to vote
TRUSTBUS
2004
Springer
16 years 2 days ago
2004
Springer
This paper addresses the problem of pay-as-you-watch services over unicast and multicast communications. For each communication model, we present two solutions, non-verifiable and...
145
click to vote
FC
2003
Springer
15 years 12 months ago
2003
Springer
Decentralized anonymity infrastructures are still not in wide use today. While there are technical barriers to a secure robust design, our lack of understanding of the incentives t...