Sciweavers

3751 search results - page 139 / 751
» Events in security protocols
Sort
View
97
Voted
IJISEC
2008
46views more  IJISEC 2008»
15 years 4 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»
15 years 4 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»
15 years 4 months ago
Automated Reasoning for Security Protocol Analysis
Alessandro Armando, David A. Basin, Jorge Cu&eacut...
JCS
2006
74views more  JCS 2006»
15 years 4 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»
15 years 4 months ago
Secure Authentication Protocols Resistant to Guessing Attacks
Jia-Ning Luo, Shiuh-Pyng Shieh, Ji-Chiang Shen