http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Modelling and verification of secure exams
Introduction -- Preliminaries and Definitions -- Security Requirements -- The Huszti-Pethő Protocol -- The Remark! Internet-Based Exam -- The WATA Family -- Conclusions.