3811 search results - page 321 / 763 » The Safe-Tcl Security Model |
190
Voted
ICDCS
2005
IEEE
16 years 1 months 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...
191
click to vote
POPL
2005
ACM
16 years 1 months 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...
199
click to vote
CTRSA
2004
Springer
16 years 25 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...
197
Voted
TRUSTBUS
2004
Springer
16 years 24 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...
166
click to vote
FC
2003
Springer
16 years 20 days 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...