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

15 years 4 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

15 years 3 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

15 years 2 months 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers