20175 search results - page 27 / 4035 » Is abstraction the key to computing |
136
click to vote
IJNSEC
2008
15 years 14 days ago
2008
Most of the current security architectures for grid systems use conventional public key infrastructure (PKI) to authenticate grid members and to secure resource allocation to thes...
111
click to vote
PERCOM
2006
ACM
16 years 2 days ago
2006
ACM
We propose a novel entity authentication approach for pervasive computing environments. A person uses a single device, the Master Key, which aggregates all his digital forms of ac...
106
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
TPDS
2008
15 years 11 days ago
2008
Efficient key distribution is an important problem for secure group communications. The communication and storage complexity of multicast key distribution problem has been studied ...
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...