A Formal Model for Credential Hopping Attacks.

Massimiliano Albanese Karin Johnsgard Vipin Swarup

Published in: ESORICS (1) (2022)

Keyphrases

formal model
countermeasures
spread spectrum
access control
formal models
watermarking scheme
predicate calculus
security threats
malicious users
denial of service attacks
image watermarking
security properties
trust negotiation
probabilistic knowledge
ddos attacks
security mechanisms
lightweight