5255 search results - page 12 / 1051 » Formal Methods for Privacy |
WOTE
2010
13 years 5 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
PET
2004
Springer
14 years 1 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
SAFECOMP
2004
Springer
14 years 1 months ago
2004
Springer
ESORICS
2000
Springer
13 years 11 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...