6555 search results - page 74 / 1311 » Secure attribute-based systems |
SP
2008
IEEE
14 years 3 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
ESORICS
2003
Springer
14 years 2 months ago
2003
Springer
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...
DBSEC
2008
13 years 10 months ago
2008
Abstract. The need for secure logging is well-understood by the security professionals, including both researchers and practitioners. The ability to efficiently verify all (or some...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
IP Telephony based on Peer-to-Peer (P2P) technology has being gaining attentions for its innovative approach to providing VoIP service. At the same time, it has raised many new re...