A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Erisa Karafili, Daniele Sgandurra, Emil Lupu

Journal title: Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings

Journal number: 11263

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 73-87

DOI identifier: 10.1007/978-3-030-04372-8_7

ISBN: 978-3-030-04371-1