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
- Volltext / DOI:
- doi:10.1007/978-3-319-15618-7_3
BibTeX