Search Sciweavers | Sciweavers

739 search results - page 3 / 148

» Security Analysis of IEEE 802.16

145

click to vote

CSFW
2008
IEEE

91views Security Privacy» more CSFW 2008»

Formal Analysis of PKCS#11

16 years 11 days ago

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Graham Ste...

claim paper

Read More »

122

click to vote

CSFW
2007
IEEE

116views Security Privacy» more CSFW 2007»

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

16 years 7 days ago

Download www.hpl.hp.com

Miranda Mowbray, Dieter Gollmann

claim paper

Read More »

114

click to vote

SP
2003
IEEE

99views Security Privacy» more SP 2003»

Probabilistic Treatment of MIXes to Hamper Traffic Analysis

15 years 11 months ago

Download freehaven.net

Dakshi Agrawal, Dogan Kesdogan, Stefan Penz

claim paper

Read More »

142

click to vote

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

15 years 10 months ago

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

120

click to vote

SP
1991
IEEE

82views Security Privacy» more SP 1991»

Safety Analysis for the Extended Schematic Protection Model

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers