Sciweavers

3751 search results - page 139 / 751
» Events in security protocols
Sort
View
IJISEC
2008
46views more  IJISEC 2008»
14 years 10 months ago
A symbolic framework for multi-faceted security protocol analysis
Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto
CORR
2007
Springer
56views Education» more  CORR 2007»
14 years 10 months ago
Deciding security properties for cryptographic protocols. Application to key cycles
Hubert Comon-Lundh, Véronique Cortier, Euge...
JAR
2006
63views more  JAR 2006»
14 years 10 months ago
Automated Reasoning for Security Protocol Analysis
Alessandro Armando, David A. Basin, Jorge Cu&eacut...
JCS
2006
74views more  JCS 2006»
14 years 10 months ago
On the impossibility of building secure Cliques-type authenticated group key agreement protocols
The A-GDH.2 and SA-GDH.2 authenticated group key agreement
Olivier Pereira, Jean-Jacques Quisquater
JISE
2006
37views more  JISE 2006»
14 years 10 months ago
Secure Authentication Protocols Resistant to Guessing Attacks
Jia-Ning Luo, Shiuh-Pyng Shieh, Ji-Chiang Shen