Search Sciweavers | Sciweavers

5476 search results - page 24 / 1096

» Resettably Secure Computation

155

click to vote

JCS
2010

121views more JCS 2010»

Computational soundness of symbolic zero-knowledge proofs

15 years 3 months ago

Download eprint.iacr.org

raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently signiﬁca...

Michael Backes, Dominique Unruh

claim paper

Read More »

168

click to vote

INFOCOM
2012
IEEE

179views Communications» more INFOCOM 2012»

Towards temporal access control in cloud computing

13 years 7 months ago

Download www.public.asu.edu

—Access control is one of the most important security mechanisms in cloud computing. Attribute-based access control provides a ﬂexible approach that allows data owners to integ...

Yan Zhu, Hongxin Hu, Gail-Joon Ahn, Dijiang Huang,...

claim paper

Read More »

154

click to vote

TGC
2010
Springer

184views Applied Computing» more TGC 2010»

Probabilistic Aspects: Checking Security in an Imperfect World

15 years 3 months ago

Download www.dcs.kcl.ac.uk

Chris Hankin, Flemming Nielson, Hanne Riis Nielson

claim paper