Search Sciweavers | Sciweavers

3504 search results - page 151 / 701

» Secure protocol composition

151

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 11 days ago

Download www.das.ufsc.br

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

claim paper

Read More »

126

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 6 hour ago

Download www.irisa.fr

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

claim paper

Read More »

189

click to vote

CAV
2005
Springer

196views Hardware» more CAV 2005»

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

15 years 12 months ago

Download avispa-project.org

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

claim paper

Read More »

122

click to vote

MYCRYPT
2005
Springer

123views Cryptology» more MYCRYPT 2005»

On Session Key Construction in Provably-Secure Key Establishment Protocols

15 years 12 months ago

Download eprint.iacr.org

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

claim paper

Read More »

136

click to vote

TARK
2005
Springer

98views Automated Reasoning» more TARK 2005»

Deciding knowledge properties of security protocols

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers