Sciweavers

3115 search results - page 119 / 623

» Synthesizing Secure Protocols

97

Voted

EUROCRYPT
2006
Springer

110views Cryptology» more EUROCRYPT 2006»

Parallel and Concurrent Security of the HB and HB+ Protocols

15 years 7 months ago

Parallel and Concurrent Security of the HB and HB+ Protocols

Download eprint.iacr.org

Jonathan Katz, Ji Sun Shin

claim paper

Read More »

88

Voted

CRYPTO
1995
Springer

89views Cryptology» more CRYPTO 1995»

Secure Signature Schemes based on Interactive Protocols

15 years 7 months ago

Secure Signature Schemes based on Interactive Protocols

Download www.brics.dk

Ronald Cramer, Ivan Damgård

claim paper

Read More »

96

Voted

DAGSTUHL
2007

92views Software Engineering» more DAGSTUHL 2007»

Complete Characterization of Security Protocols by Pattern Refinement

15 years 5 months ago

Complete Characterization of Security Protocols by Pattern Refinement

Download drops.dagstuhl.de

Cas J. F. Cremers

claim paper

Read More »

96

Voted

DFN
2004

79views Computer Science» more DFN 2004»

On the Limitations of Security Concepts for Mobile Adhoc Networks Routing Protocols

15 years 5 months ago

On the Limitations of Security Concepts for Mobile Adhoc Networks Routing Protocols

Download subs.emis.de

Andreas Festag, Joao Girão, Telemaco Melia,...

claim paper

Read More »

101

Voted

ICETE
2004

83views Business» more ICETE 2004»

A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks

15 years 5 months ago

A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks

Download www.carbunar.com

Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, ...

claim paper

Read More »

« Prev « First page 119 / 623 Last » Next »