*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h00--15h30                     *
*                           Salle S16, etage -1                     *
*                  DI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

*** Vendredi 17 novembre 2006 14h00-15h30 ***************************

Joshua D. Guttman (The MITRE Corp.)

Trust Engineering via Cryptographic Protocols 

Abstract: 

Cryptographic protocols are useful for trust engineering in                     
distributed transactions.  Transactions require specific degrees of             
confidentiality and agreement between the principals engaging in it.            
Moreover, trust management assertions may be attached to protocol               
actions, which allow a principal to constrain the effects of a                  
protocol run to obey its own trust policy.                                      
                                                                                
We have embodied these ideas in a domain-specific Cryptographic                 
Protocol Programming Language.  It expresses protocols at the                   
Dolev-Yao level of abstraction, and trust management assertions as              
Datalog queries.  We give the language a semantics using the strand             
space model, which allows protocol designers to prove their protocols           
sound.  The strand semantics also guided our compiler implementation.           
                                                                                
When the principals maintain their state as a repository of XML                 
objects, then standard Datalog predicates can be supplemented with a            
primitive for pattern-matching in the CDuce manner.                             

(Joint work with Jon Herzog John Ramsdell Brian Sniffen)

*********************************************************************
Pour recevoir l'annonce par courrier electronique: 
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************