Search Sciweavers | Sciweavers

5488 search results - page 197 / 1098

» On the Secure Implementation of Security Protocols

127

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

Download www.irisa.fr

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

claim paper

Read More »

192

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

Download avispa-project.org

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

claim paper

Read More »

125

click to vote

MYCRYPT
2005
Springer

123views Cryptology» more MYCRYPT 2005»

On Session Key Construction in Provably-Secure Key Establishment Protocols

16 years 15 hour ago

Download eprint.iacr.org

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

claim paper

Read More »

137

click to vote

TARK
2005
Springer

98views Automated Reasoning» more TARK 2005»

Deciding knowledge properties of security protocols

16 years 5 hour ago

Download www.tark.org

Ramaswamy Ramanujam, S. P. Suresh

claim paper

Read More »

155

click to vote

ICCSA
2004
Springer

112views Applied Computing» more ICCSA 2004»

A Security Proxy Based Protocol for Authenticating the Mobile IPv6 Binding Updates

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers