+-------------------------------------------------+
	 | SUJETS DE TRAVAIL POUR LE COURS LOGIQUE DU  DIF |
	 +-------------------------------------------------+


======================================================================

Le référence donnée sous le nom de «source» est un point de départ.
Il est clair qu'une recherche bibliographique est possible
(souhaitée?)  pour trouver éventuellement d'autres références.  Un bon
exposé fondé exclusivement sur la source est aussi possible.

======================================================================





1. Systèmes de passages de messages, 
   Systèmes de passages de messages asynchrones 

	source : livre "Reasoning about Knowledge" de Fagin et al. :
		section 4.4.5. et 4.4.6.


2. L'attaque coordonnée

	source: chapitre 6 du livre "Reasoning about Knowledge" de
		Fagin et al.


3. La logique temporelle

	source : livre "Reasoning about Knowledge" de Fagin et al.
		section 4.3 et 8.1 (éventuellement un autre livre)


4. Connaissance evolutive

	source : livre "Reasoning about Knowledge" de Fagin et al. :
	chapitre 8


5. Omniscience

	source : livre "Reasoning about Knowledge" de Fagin et al. :
	chapitre 9


6. Modal-ML

	source: article de Wickline, Lee et Pfenning.


7. Le poker mental

	source: livre de Schneier "Applied Cryptography"


8. Preuves à connaissance zero

	source: livre de Schneier "Applied Cryptography"


9. Logique de l'authentification

	source: articles de Burrows, Abadi, Needham
			 de Needham (13th LICS)
 			 de Lampson, Abadi, Burrows, Wobber

10. Un calcul pour les contrôles d'acces

	source: articles de Abadi, Burrows, Lampson, Plotkin


11. Le SPI-calcul, un calcul pour les protocoles cryptographiques

	source: article d'Abadi et Gordon.


12. Le protocole de Needham-Schroeder.

	source: livre de Schneier "Applied Cryptography", 
             et article de Burrows, Abadi, Needham
             et Gavin Lowe TACAS'96

13. Proving security protocol correct

	source: article de Lawrence Paulson (14th LICS)