Towards Formal Validation of Trust and Security in the Internet of Services.

Roberto Carbone Marius Minea Sebastian Mödersheim Serena Elisa Ponta Mathieu Turuani Luca Viganò Towards Formal Validation of Trust and Security in the Internet of Services. 193-208 2011 Future Internet Assembly http://dx.doi.org/10.1007/978-3-642-20898-0_14 conf/fia/2011 db/conf/fia/fia2011.html#CarboneMMPTV11