Search Sciweavers | Sciweavers

739 search results - page 3 / 148

» Security Analysis of IEEE 802.16

click to vote

CSFW
2008
IEEE

91views Security Privacy» more CSFW 2008»

Formal Analysis of PKCS#11

14 years 1 months ago

Download www.lsv.ens-cachan.fr

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

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

14 years 1 months ago

Download www.hpl.hp.com

Miranda Mowbray, Dieter Gollmann

claim paper

Read More »

click to vote

SP
2003
IEEE

99views Security Privacy» more SP 2003»

Probabilistic Treatment of MIXes to Hamper Traffic Analysis

14 years 21 days ago

Download freehaven.net

Dakshi Agrawal, Dogan Kesdogan, Stefan Penz

claim paper

Read More »

click to vote

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

13 years 11 months ago

Download dit.unitn.it

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

claim paper

Read More »

click to vote

SP
1991
IEEE

82views Security Privacy» more SP 1991»

Safety Analysis for the Extended Schematic Protection Model

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers