@inproceedings{SAB+6,
title = { A Model-Based Approach to Secure Multiparty Distributed Systems },
author = {Said, Najah Ben and Abdellatif, Takoua and Bensalem, Saddek and Bozga, Marius},
year = {2016},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa},
pages = {893--908},
team = {DCS, RSD},
}
