Pages: [1]   Go Down
Print
Author Topic: Seminario 20/01/2012 Casper: A Compiler for the Analysis of Security Protocols  (Read 3109 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Pandemia000
Forumista Eroico
*****
Offline Offline

Gender: Male
Posts: 1.714


Γνῶθι Σεαυτόν


« on: 14-01-2012, 13:43:30 »

Copio e Incollo qui, in modo da dare maggiore visibilità all'evento, il topic originale lo trovate qui:

http://forum.sdai.unict.it/index.php?topic=14957.0

L'evento si terrà il 20/01/2012

"
Comunico che nell'ambito del corso di Compilatori, su invito del sottoscritto, il Dott. Luigi Grillo terrà un seminario di cui seguono dati salienti.

Title
Casper: A Compiler for the Analysis of Security Protocols

Abstract
Casper is a program that will take a description of a security
protocol in a simple, abstract language, and produce a CSP description
of the same protocol, suitable for checking using FDR2. It can be used
either to find attacks upon protocols, or to show that no such attack
exists.

The talk aims at introducing Casper with demonstrative example and
opens a window on Process Calculi, a family of related approaches for
the high-level description of interactions, communications, and
synchronizations between a collection of independent agents or
processes.

Duration: 1h30m

Siete tutti invitati.
Ringrazio anticipatamente il Dott. Grillo per la disponibilità e tutti quelli che vorranno intervenire all'evento.
GM
"
Logged

La disumanità del computer sta nel fatto che, una volta programmato e messo in funzione, si comporta in maniera perfettamente onesta. (Isaac Asimov)
Pages: [1]   Go Up
Print
Jump to: