Sciweavers

3088 search results - page 132 / 618
» Multichannel Security Protocols
Sort
View
ENTCS
2006
89views more  ENTCS 2006»
13 years 9 months ago
Towards a Quantitative Analysis of Security Protocols
Pedro Adão, Paulo Mateus, Tiago Reis, Luca ...
IJISEC
2008
46views more  IJISEC 2008»
13 years 9 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»
13 years 9 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»
13 years 8 months ago
Automated Reasoning for Security Protocol Analysis
Alessandro Armando, David A. Basin, Jorge Cu&eacut...
JCS
2006
74views more  JCS 2006»
13 years 8 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