Search Sciweavers | Sciweavers

3504 search results - page 25 / 701

» Secure protocol composition

click to vote

CSFW
1996
IEEE

110views Security Privacy» more CSFW 1996»

A High-Throughput Secure Reliable Multicast Protocol

15 years 1 months ago

Download www.cs.unc.edu

Dalia Malki, Michael K. Reiter

claim paper

Read More »

Voted

SP
2008
IEEE

195views Security Privacy» more SP 2008»

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

15 years 4 months ago

Download www.cs.umd.edu

We study formal security properties of a state-of-the-art protocol for secure ﬁle sharing on untrusted storage, in the automatic protocol veriﬁer ProVerif. As far as we know, ...

Bruno Blanchet, Avik Chaudhuri

claim paper

Read More »

Voted

ACISP
2009
Springer

115views Security Privacy» more ACISP 2009»

A Highly Scalable RFID Authentication Protocol

15 years 4 months ago

Download www.cacr.math.uwaterloo.ca

Jiang Wu, Douglas R. Stinson

claim paper

Read More »

click to vote

CSFW
2008
IEEE

110views Security Privacy» more CSFW 2008»

Cryptographically-Sound Protocol-Model Abstractions

15 years 4 months ago

Download www.zisc.ethz.ch

Christoph Sprenger, David A. Basin

claim paper

Read More »

click to vote

CSFW
2007
IEEE

116views Security Privacy» more CSFW 2007»

Electing the Doge of Venice: Analysis of a 13th Century Protocol

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers