Sciweavers

19 search results - page 1 / 4

» csfw 2004

27

CSFW
2004
IEEE

84views Security Privacy» more CSFW 2004»

Universally Composable Signature, Certification, and Authentication

13 years 11 months ago

Universally Composable Signature, Certification, and Authentication

Download eprint.iacr.org

Ran Canetti

claim paper

Read More »

17

CSFW
2004
IEEE

92views Security Privacy» more CSFW 2004»

A Formal Foundation for XrML

13 years 11 months ago

A Formal Foundation for XrML

Download www.cs.cornell.edu

Joseph Y. Halpern, Vicky Weissman

claim paper

Read More »

24

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

13 years 11 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 »

21

CSFW
2004
IEEE

112views Security Privacy» more CSFW 2004»

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols

13 years 11 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 »

30

CSFW
2004
IEEE

131views Security Privacy» more CSFW 2004»

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

13 years 11 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 »