3811 search results - page 217 / 763 » The Safe-Tcl Security Model |
193
click to vote
PROVSEC
2009
Springer
16 years 1 months ago
2009
Springer
Signcryption is a cryptographic primitive that provides authentication and confidentiality simultaneously in a single logical step. It is often required that multiple senders have...
178
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
181
click to vote
ACISP
2008
Springer
16 years 28 days ago
2008
Springer
The standard solution for mutual authentication between human users and servers on the Internet is to execute a TLS handshake during which the server authenticates using a X.509 ce...
165
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
166
click to vote
STORAGESS
2005
ACM
16 years 4 days ago
2005
ACM
In this paper we describe the design for the Pvault software, which is a personal data manager that stores and retrieves data from a remote untrusted data server securely. The maj...