A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is
Mobile and Wireless Networks Security
This paper relates the collaboration between industrial and academic teams for the design and the verification of a security protocol. The protocol is about trust establishment in large communities of devices where infrastructure components are not always reachable. The collaboration covers the writing of formal specifications up to their verification, using both manual and automated verification methods embedded in the AVISPA  and SPAN  tools. At each stage, the use of the visualizationdoi:10.1142/9789812833266_0004 fatcat:qowi6ap2xbf27j6ca727ma4jp4