Search Sciweavers | Sciweavers

3504 search results - page 151 / 701

» Secure protocol composition

167

click to vote

NOMS
2006
IEEE

134views Communications» more NOMS 2006»

Evaluation of QoS Metrics in Ad Hoc Networks with the use of Secure Routing Protocols

16 years 1 months ago

Download www.das.ufsc.br

Darlan Vivian, Eduardo Adílio Pelinson Alch...

claim paper

Read More »

149

click to vote

AINA
2005
IEEE

152views Computer Networks» more AINA 2005»

Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR

16 years 27 days ago

Download www.irisa.fr

Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi

claim paper

Read More »

211

click to vote

CAV
2005
Springer

196views Hardware» more CAV 2005»

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

16 years 24 days ago

Download avispa-project.org

Alessandro Armando, David A. Basin, Yohan Boichut,...

claim paper

Read More »

143

click to vote

MYCRYPT
2005
Springer

123views Cryptology» more MYCRYPT 2005»

On Session Key Construction in Provably-Secure Key Establishment Protocols

16 years 23 days ago

Download eprint.iacr.org

Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...

claim paper

Read More »

155

click to vote

TARK
2005
Springer

98views Automated Reasoning» more TARK 2005»

Deciding knowledge properties of security protocols

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers