Towards a formal model of computation for RMAS.

Massimiliano Pirani Andrea Bonci Sauro Longhi

Published in: ISM (2021)

Keyphrases

formal model
formal models
database
predicate calculus
information retrieval
security properties
data mining
security patterns