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

Lecture Notes in Computer Science - Emerging Technologies for Authorization and Authentication ◽

10.1007/978-3-030-04372-8_7 ◽

2018 ◽

pp. 73-87

Author(s):

Erisa Karafili ◽

Daniele Sgandurra ◽

Emil Lupu

Download Full-text