Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.

Wei Chen Yuhui Lin Vashti Galpin Vivek Nigam Myungjin Lee David Aspinall

Published in: SEC (2018)

Keyphrases

formal analysis
data sets
database
training data
data analysis
data collection
data processing
high dimensional data
data sources
input data
knowledge based systems
intrusion detection
spatial data
data quality
formal specification