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

First Author: Karafili E
Attributed to:  CIPART: CLOUD INTELLIGENT PROTECTION AT RUN-TIME funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.springer.com/la/book/9783030043711

Type: Book Chapter

Book Title: A Logic-Based Reasoner for Discovering Authentication Vulnerabilities between Interconnected Accounts (2018)

ISBN: 978-3-030-04372-8