A Model-Based Approach to Secure Multiparty Distributed Systems.

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga

Browse the full ISoLA paper archive.