Sciweavers

5119 search results - page 29 / 1024

» Security Privacy

55

CCS
2007
ACM

113views Security Privacy» more CCS 2007»

Verification condition generation for conditional information flow

15 years 3 months ago

Verification condition generation for conditional information flow

Download people.cis.ksu.edu

Torben Amtoft, Anindya Banerjee

claim paper

Read More »

70

CCS
2007
ACM

98views Security Privacy» more CCS 2007»

Trusted computing challenges

15 years 3 months ago

Trusted computing challenges

Download www.cs.utsa.edu

Leendert van Doorn

claim paper

Read More »

68

ESORICS
2007
Springer

108views Security Privacy» more ESORICS 2007»

A Logic for State-Modifying Authorization Policies

15 years 3 months ago

A Logic for State-Modifying Authorization Policies

Download research.microsoft.com

Moritz Y. Becker, Sebastian Nanz

claim paper

Read More »

69

ESORICS
2007
Springer

86views Security Privacy» more ESORICS 2007»

Generalized Key Delegation for Hierarchical Identity-Based Encryption

15 years 3 months ago

Generalized Key Delegation for Hierarchical Identity-Based Encryption

Download eprint.iacr.org

Michel Abdalla, Eike Kiltz, Gregory Neven

claim paper

Read More »

72

EUROPKI
2007
Springer

96views Security Privacy» more EUROPKI 2007»

Universally Composable Signcryption

15 years 3 months ago

Universally Composable Signcryption

Download dmi.uib.es

Kristian Gjøsteen, Lillian Kråkmo

claim paper

Read More »

« Prev « First page 29 / 1024 Last » Next »