Type Abstraction for Relaxed Noninterference.

Raimil Cruz Tamara Rezk Bernard P. Serpette Éric Tanter

Published in: ECOOP (2017)

Keyphrases

high level
management system
security policies
type checking
real time
information systems
decision trees
multiscale
search algorithm
feature space
evolutionary algorithm
distributed systems