Search Sciweavers | Sciweavers

3751 search results - page 134 / 751

» Events in security protocols

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

Download www.tark.org

Ramaswamy Ramanujam, S. P. Suresh

claim paper

Read More »

161

click to vote

ICCSA
2004
Springer

112views Applied Computing» more ICCSA 2004»

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

16 years 7 days ago

Download isyou.hosting.paran.com

Il-Sun You, Kyungsan Cho

claim paper

Read More »

117

click to vote

JELIA
2004
Springer

133views Artificial Intelligence» more JELIA 2004»

SATMC: A SAT-Based Model Checker for Security Protocols

16 years 6 days ago

Download www.ai-lab.it

Alessandro Armando, Luca Compagna

claim paper

Read More »

140

click to vote

VMCAI
2004
Springer

88views Software Engineering» more VMCAI 2004»

Security, Protocols, and Trust

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers