Eliminating Implicit Information Leaks by Transformational Typing and Unification.

Boris Köpf Heiko Mantel

Published in: Formal Aspects in Security and Trust (2005)

Keyphrases

video sequences
information sources
neural network
prior knowledge
higher level
information processing
real time
machine learning
clustering algorithm
high level
end users
higher order
contextual information
spatial information
prior information