Formal logical language to set requirements for secure code execution.

Published in: Program. Comput. Softw. (2017)

Keyphrases

small number
logical language
databases
information systems
query processing
probability distribution
knowledge representation
formal model
data flow