@MASTERSTHESIS\{IMM2006-04209,
    author       = "M. S. Jensen",
    title        = "X-flow - A secure workflow system",
    year         = "2006",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    note         = "Supervised by Prof. Robin Sharp, {IMM}",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4209-full.html",
    abstract     = "This masters thesis describes a model and prototype implementation for a secure workflow sys­tem, that facilitates creation of documents according to a workflow description, where the result of each activity is digitally signed.

The requirements of a document workflow is analyzed in the context of a workflow with 10­100 participants, and the security aspects of document creation as part of a workflow are investigated.

The practical barriers and opportunities of using digital signatures as a replacement of hand­written signatures, thereby allowing workflow support of processes with formal requirements for documentation, are also analyzed.

Based on the security and workflow requirements of such a system a supporting data model is developed. The model is implemented as an {XML} Schema specification and makes use of the {XML} Schema language to allow model checking to be performed in an {XML} parser.

Finally, a prototype application supporting this data model is implemented according to the spec­ified model requirements."
}