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