894 search results - page 121 / 179 » Secure Implementation of Channel Abstractions |
SIGOPS
1998
13 years 8 months ago
1998
Abstract. We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous...
WOTE
2010
13 years 7 months ago
2010
Abstract. In this paper, we study the problem of simultaneously achieving several security properties, for voting schemes, without non-standard assumptions. More specifically, we ...
SP
2000
IEEE
14 years 1 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...