Souvenirs historiques sur l'ancienne abbaye de Saint-Benoît-sur-Loire (Départemént du Loiret) : rappelant successivement tous les événements remarquables qui s'y sont passés depuis douze siècles, avec la biographie des 87 abbés qui l'ont gouvernée; suivis d'une description de l'état actuel de la ville et de l'église de Saint-Benoît... /

Mode of access: Internet.

Le parloir de l'Abbaye de***. ou Entretiens sur le divorce par M. de V***.

Mode of access: Internet.

L'abbaye aux bois, ou La femme de chambre; histoire contemporaine en trois, actes et en six tableaux,

Mode of access: Internet.

Histoire de l'abbaye rouale de Jumiéges.

Mode of access: Internet.

Histoire de la ville et de l'abbaye de Fécamp.

Mode of access: Internet.

The headsman, or, The Abbaye des Vignerons : a tale /

Verso of t.p.: "Printed by T.K. & P.G. Collins, Phila."

Cartulaire de l'abbaye de Saint-Trond,

Mode of access: Internet.

Cartulaire de l'abbaye d'Orval,

Mode of access: Internet.

Chartes de l'abbaye de Saint-Martin de Tournai,

Mode of access: Internet.

Examen critique des chartes mérovingiennes et carolingiennes de l'abbaye de Corbie,

Mode of access: Internet.

The headsman; or, the abbaye des vignerons. A tale /

On spine: Cooper's novels.

Cartulaire de l'abbaye de Conques en Rouergue,

Mode of access: Internet.

Cartvlaire de l'abbaye de Saint-André-le-Bas de Vienne, ordre de Saint-Benoît, suivi d'un appendice de chartes inédites sur le diocèse de Vienne (IXe-XIIe siècles)

Added t.-p. in Latin, with imprint: Viennae, E.-J. Savigné, typographvs, 1869.

Histoire de l'Abbaye et du College de Juilly : depuis leurs origines jusqu'à nos jours ... /

Mode of access: Internet.

Automated proofs for Diffie–Hellman–based key exchanges

We present an automated verification method for security of Diffie–Hellman–based key exchange protocols. The method includes a Hoare-style logic and syntactic checking. The method is applied to protocols in a simplified version of the Bellare–Rogaway–Pointcheval model (2000). The security of the protocol in the complete model can be established automatically by a modular proof technique of Kudla and Paterson (2005).