Search Sciweavers | Sciweavers

1282 search results - page 70 / 257

» Signing on signing off

click to vote

CRYPTO
1994
Springer

100views Cryptology» more CRYPTO 1994»

Incremental Cryptography: The Case of Hashing and Signing

14 years 1 months ago

Download web.cecs.pdx.edu

Mihir Bellare, Oded Goldreich, Shafi Goldwasser

claim paper

Read More »

click to vote

CSFW
2004
IEEE

183views Security Privacy» more CSFW 2004»

Formal Analysis of Multi-Party Contract Signing

14 years 27 days ago

Download www.cs.uiuc.edu

We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...

Rohit Chadha, Steve Kremer, Andre Scedrov

claim paper

Read More »

click to vote

ECAI
2004
Springer

82views Artificial Intelligence» more ECAI 2004»

Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae

14 years 27 days ago

Download www2.mta.ac.il

We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...

Ofer Arieli

claim paper

Read More »

click to vote

ASSETS
2006
ACM

104views Emerging Technology» more ASSETS 2006»

South African sign language machine translation project

14 years 26 days ago

Download www.cs.sun.ac.za

Lynette van Zijl

claim paper

Read More »