Search Sciweavers | Sciweavers

1490 search results - page 49 / 298

» The Logic of Authentication Protocols

click to vote

CCS
2001
ACM

144views Security Privacy» more CCS 2001»

The BiBa one-time signature and broadcast authentication protocol

14 years 1 months ago

Download www.ece.cmu.edu

Ï ÒØÖÓ Ù Ø × Ò ØÙÖ × Ñ ¸ Ò Û × Ò ØÙÖ ÓÒ×ØÖÙ Ø ÓÒ Ø Ø Ù× × ÓÒ ¹Û Ý ÙÒ Ø ÓÒ× Û Ø ÓÙØ ØÖ Ô ÓÓÖ×º ØÙÖ × ÐÓÛ Ú Ö ¬...

Adrian Perrig

claim paper

Read More »

click to vote

ACSAC
2000
IEEE

102views Security Privacy» more ACSAC 2000»

An High-Speed ECC-based Wireless Authentication Protocol on an ARM Microprocessor

14 years 1 months ago

Download security.ece.orst.edu

Murat Aydos, T. Yanik, Çetin Kaya Koç...

claim paper

Read More »

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

14 years 1 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

click to vote

CSFW
1997
IEEE

84views Security Privacy» more CSFW 1997»

Mechanized proofs for a recursive authentication protocol

14 years 1 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

click to vote

ASIAN
2006
Springer

126views Algorithms» more ASIAN 2006»

Certificateless Authenticated Two-Party Key Agreement Protocols

14 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers