Non Interference on Symbolic Transition System
-
35
pages
-
English
-
Documents
Écrit par
Ivan Christoff
Publié par
profil-mupheg-2012
-
35
pages
-
English
-
Documents
Description
Niveau: Supérieur, Master
Uppsala University Non-Interference on Symbolic Transition System Jeremy Dubreil Superviser : Ivan Christoff Master project hosted at INRIA Rennes in the team VerTeCs. 1
Uppsala University Non-Interference on Symbolic Transition System Jeremy Dubreil Superviser : Ivan Christoff Master project hosted at INRIA Rennes in the team VerTeCs. 1
- interference checking
- framework used
- without any illegal
- property given
- between users
- system calls invisible
- system
- model transformation
-
Publié par
-
Langue
English
Ajouté à mes notifications
Vous serez informé des prochaines publications.