Automatic analysis of DIFC systems using noninterference with declassification.

Wenfa Li Zhi Yang Jia Liu

Published in: Neural Comput. Appl. (2022)

Keyphrases

automatic analysis
management system
genetic algorithm
learning systems
learning algorithm
website
real time
machine learning
decision making
distributed systems
computer systems
vessel tree