556 search results - page 56 / 112 » An Abstract Reduction Model for Computer Security Risk |
SAC
2004
ACM
15 years 5 months ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. We investigate a security framework for collaborative applications that relies on the role-based access control (RBAC) model. In our framework, roles are pre-defined and...
ESORICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
ISW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
106
click to vote
PKC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Key-insulated cryptography is a crucial technique for protecting private keys. To strengthen the security of key-insulated protocols, Hanaoka, Hanaoka and Imai recently i...