Protocol Verification (part of the course network security)
The protocol verifier (to be used in combination
with XSB or eclipse prolog)
The slides of the course
The guidelines (in Italian) to realize the practical essay (esercitazione) for those who could not attend the course.
The survey of security protocol by Clark and Jacob
XSB prolog
ECLIPSE
Prolog.
Nota riguardo all'installazione di XSB e eclipse nei computer del laboratorio.
In breve: usate 'tkeclipse' (chiamabile da shell).
In lungo:
XSB: Gli eseguibili si trovano nella directory /usr/local/XSB-3.0.1/XSB/bin che non e` nella path. E` comunque possibile invocare xsb direttamente dalla shell (sono presenti dei link in /usr/local/bin che e` nella path).
Il programma e` privo della GUI. Il messaggio relativo del programma di
configurazione e` il seguente:
ECLIPSE: Gli eseguibili Eclipse si trovano nella directory
/usr/local/ECLiPSe/bin/i386_linux che non e` nella path. E` comunque
possibile invocare tkeclipse e tktools direttamente dalla shell (sono
presenti dei link in /usr/local/bin che e` nella path).
Back to Sandro's home page
Last modified: Mon Dec 4 10:00:46 2006