Next:
Introduction
D6.1 - List of selected problems
AVISPA Project
Introduction
Coverage and Relevance Assessment
Properties (Goals)
The IETF Protocols
MobileIP
seamoby
SIP
H323 Suite: H530
NSIS
Geopriv
impp and simple
AAA
cat
Challenge-Response Systems
DHC
DNSext
EAP
One Time Password Systems
IDR
Password-Authenticated Key Exchange
IPSec/IKE
IPv6 (including cga and HIP)
Kerberos
MSEC
NAS
SACRED
SECSH and Telnet
STIME
TLS
e-Business
Payment
Electronic Commerce
Non IETF Protocols
3GPP
IEEE 802.11
LAP
ISO/IEC
2pS
LPD
Summary of Protocols and Goals
Bibliography
About this document ...
AVISPA Project -- Deliverable 6.1 'List of Selected Problems'