Sciweavers

19 search results - page 1 / 4

» csfw 2004

16

CSFW
2004
IEEE

84views Security Privacy» more CSFW 2004»

Universally Composable Signature, Certification, and Authentication

13 years 8 months ago

Universally Composable Signature, Certification, and Authentication

Download eprint.iacr.org

Ran Canetti

claim paper

Read More »

7

CSFW
2004
IEEE

92views Security Privacy» more CSFW 2004»

A Formal Foundation for XrML

13 years 8 months ago

A Formal Foundation for XrML

Download www.cs.cornell.edu

Joseph Y. Halpern, Vicky Weissman

claim paper

Read More »

16

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

13 years 8 months ago

Abstraction and Refinement in Protocol Derivation

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

14

CSFW
2004
IEEE

112views Security Privacy» more CSFW 2004»

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols

13 years 8 months ago

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols

Download www.uclouvain.be

The A-GDH.2 and SA-GDH.2 authenticated group key

Olivier Pereira, Jean-Jacques Quisquater

claim paper

Read More »

17

CSFW
2004
IEEE

131views Security Privacy» more CSFW 2004»

By Reason and Authority: A System for Authorization of Proof-Carrying Code

13 years 8 months ago

By Reason and Authority: A System for Authorization of Proof-Carrying Code

Download www.cs.berkeley.edu

We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...

Nathan Whitehead, Martín Abadi, George C. N...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »