A Comparison of Semantic Models for Noninterference.

Ron van der Meyden Chenyi Zhang

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

Keyphrases

semantic models
semantic features
latent semantic analysis
high level
semantic annotation
feature vectors
low level
co occurrence