1. Dragoni, N., Martinelli, F., Massacci, F., Mori, P., Schaefer, C., Walter, T., Vetillard, E.: Security-by-contract (
$${\text{ S } \times \text{ C }}$$
S
×
C
) for software and services of mobile systems. In: At Your Service - Service-Oriented Computing from an EU Perspective. MIT Press, Cambridge (2008)
2. Costa, G., Dragoni, N., Lazouski, A., Martinelli, F., Massacci, F., Matteucci, I.: Extending Security-by-Contract with quantitative trust on mobile devices. In: Proceeding of the Fourth International Conference on Complex, Intelligent and Software Intensive Systems, pp. 872–877. IEEE Computer Society (2010)
3. Costa, G., Dragoni, N., Issarny, V., Lazouski, A., Martinelli, F., Massacci, F., Matteucci, I., Saadi, R.: Security-by-Contract-with-Trust for mobile devices. JOWUA 1(4), 75–91 (2010)
4. CCIS;P Greci,2008
5. Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’97), pp. 106–119 (1997)