Publications

Symbolic Probabilistic Analysis of Off-Line Guessing

AuthID
P-008-EH0

Author(s)

Conchinha, B

Basin, D

Caleiro, C

Document Type

Proceedings Paper

Year published

2013

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8134 LNCS, Pages: 363-380

Conference

18Th European Symposium on Research in Computer Security, Esorics 2013, Date: 9 September 2013 through 13 September 2013, Location: Egham, Sponsors: CESG;Transport for London;ISG Smart Card Centre;Crisp Telecom Limited;NESSoS

Indexing