Search Sciweavers | Sciweavers

3504 search results - page 151 / 701

» Secure protocol composition

158

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

Download www.das.ufsc.br

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

claim paper

Read More »

135

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

Download www.irisa.fr

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

claim paper

Read More »

195

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

Download avispa-project.org

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

claim paper

Read More »

136

click to vote

MYCRYPT
2005
Springer

123views Cryptology» more MYCRYPT 2005»

On Session Key Construction in Provably-Secure Key Establishment Protocols

16 years 10 days ago

Download eprint.iacr.org

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

claim paper

Read More »

144

click to vote

TARK
2005
Springer

98views Automated Reasoning» more TARK 2005»

Deciding knowledge properties of security protocols

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers