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

    159 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

    Barthe, G., Datta, A. (Ed.), & Etalle, S. (Ed.) (2011). Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers. (Lecture Notes in Computer Science; Vol. 7140). Berlin: Springer. https://doi.org/10.1007/978-3-642-29420-4