in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 7140 LNCS, Páginas: 263-277
Conference
8Th International Workshop on Formal Aspects of Security and Trust, Fast 2011, Date: 12 September 2011 through 14 September 2011, Location: Leuven