Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers

Gilles Barthe, Anupam Datta (Editor), Sandro Etalle (Editor)

    Research output: Book/ReportBookAcademic

    234 Downloads (Pure)
    Original languageEnglish
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages277
    ISBN (Print)978-3-642-29419-8
    DOIs
    Publication statusPublished - 14 Sep 2011
    Event8th International Workshop on Formal aspects of security and trust, FAST 2011 - Leuven, Belgium
    Duration: 12 Sep 201114 Sep 2011
    Conference number: 8

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume7140
    ISSN (Print)0302-9743

    Keywords

    • EWI-22359
    • IR-83362
    • Trust
    • Security
    • Formal Aspects

    Cite this