Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Ochoa, Martín; Cuéllar, Jorge; Pretschner, Alexander; Hallgren, Per 
Titel:
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs 
Stichworte:
security, model, information flow 
Kongress- / Buchtitel:
7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings 
Verlag / Institution:
Springer Science + Business Media 
Jahr:
2015