User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Ochoa, Martín; Cuéllar, Jorge; Pretschner, Alexander; Hallgren, Per 
Title:
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs 
Keywords:
security, model, information flow 
Book / Congress title:
7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings 
Publisher:
Springer Science + Business Media 
Year:
2015