Tools for traceable security verification

Jan Juerjens, Yijun Yu, Andreas Bauer

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationProceedings of The BCS International Academic Visions of Computer Science Conference 2008
    EditorsE. Gelenbe, S. Abramsky, V. Sassone
    Place of PublicationUK
    PublisherOxford University Press
    Pages367-378
    EditionPeer Reviewed
    ISBN (Print)1477-9358
    Publication statusPublished - 2008
    EventBCS International Academic Visions of Computer Science Conference 2008 - Swindon UK
    Duration: 1 Jan 2008 → …
    http://www.bcs.org/upload/pdf/ewic_vs08_s10paper1.pdf

    Conference

    ConferenceBCS International Academic Visions of Computer Science Conference 2008
    Period1/01/08 → …
    OtherSeptember 22-24 2008
    Internet address

    Cite this