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

Erisa Karafili, Daniele Sgandurra, Emil Lupu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

70 Downloads (Pure)
Original languageEnglish
Title of host publication1st International Workshop on Emerging Technologies for Authorization and Authentication
PublisherSpringer-Verlag
Pages73-87
Number of pages15
ISBN (Electronic)978-3-030-04372-8
ISBN (Print)978-3-030-04371-1
DOIs
Publication statusE-pub ahead of print - 24 Nov 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11263

Cite this