Abstract : This work aims to investigate how the Security-by-Contract paradigm, developed for providing security assurances to mobile applications, can be used for guaranteeing the security of communicating systems composed by several, heterogeneous components.
