A Formal Model of a Virtual Filesystem Switch

Gidon Ernst Gerhard Schellhorn Dominik Haneberg Jörg Pfähler Wolfgang Reif

Published in: SSV (2012)

Keyphrases

formal model
virtual environment
high speed
virtual reality
virtual world
augmented reality
formal models
predicate calculus
security properties
operating system
probabilistic knowledge
anomaly detection