Sciweavers

2162 search results - page 23 / 433

» A Meta-Notation for Protocol Analysis

24

CCS
2010
ACM

209views Security Privacy» more CCS 2010»

Inference and analysis of formal models of botnet command and control protocols

13 years 8 months ago

Inference and analysis of formal models of botnet command and control protocols

Download bitblaze.cs.berkeley.edu

Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...

claim paper

Read More »

16

CN
2010

89views more CN 2010»

Vulnerability analysis of RFID protocols for tag ownership transfer

13 years 8 months ago

Vulnerability analysis of RFID protocols for tag ownership transfer

Download www-users.cs.york.ac.uk

Pedro Peris-Lopez, Julio C. Hernandez-Castro, Juan...

claim paper

Read More »

23

CN
2006

99views more CN 2006»

An analysis of convergence delay in path vector routing protocols

13 years 8 months ago

An analysis of convergence delay in path vector routing protocols

Download www.cs.arizona.edu

Dan Pei, Beichuan Zhang, Daniel Massey, Lixia Zhan...

claim paper

Read More »

25

CSSE
2006
IEEE

102views Software Engineering» more CSSE 2006»

Experimental analysis of a privacy-preserving scalar product protocol

13 years 8 months ago

Experimental analysis of a privacy-preserving scalar product protocol

Download www.cs.rutgers.edu

The recent investigation of privacy-preserving data mining has been motivated by the growing concern about the privacy of individuals when their data is stored, aggregated, and mi...

Zhiqiang Yang, Rebecca N. Wright, Hiranmayee Subra...

claim paper

Read More »

14

ENTCS
2006

89views more ENTCS 2006»

Towards a Quantitative Analysis of Security Protocols

13 years 8 months ago

Towards a Quantitative Analysis of Security Protocols

Download www.math.ist.utl.pt

Pedro Adão, Paulo Mateus, Tiago Reis, Luca ...

claim paper

Read More »

« Prev « First page 23 / 433 Last » Next »