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.

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).

Quattuor Evangelia, dits Evangiles de Saint Riquier ou de Centula.

ff. 1-6v : préfaces Plures fuisse (1-3), Novum opus (3-5), Ammonius (5-6) et Sciendum (6r-v); ff. 6v-9v : préface (6v-7) et table des chapitres (7-9v) de l’Evangile selon saint Matthieu; ff. 10-16v : tables des canons; ff. 17-63 : Evangile selon saint Matthieu; ff. 64-66 : préface (64r-v) et table des chapitres (64v-66) de l’Evangile selon saint Marc; ff. 66v-95 : Evangile selon saint Marc; ff. 95-100v : préface (95-96) et table des chapitres (96-100v) de l’Evangile selon saint Luc; ff. 101v-150v : Evangile selon saint Luc; ff. 151-152v : préface (151r-v) et table des chapitres (152r-v) de l’Evangile selon saint Jean; ff. 153v-188v : Evangile selon saint Jean; ff. 189-198v : Capitulare evangeliorum.