Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp. Verification of S&D Solutions for Network Communications and Devices. In Spyros Kokolakis, Antonio Maña Gómez, George Spanoudakis, editors, Security and Dependability for Ambient Intelligence. Volume 45 of Advances in Information Security, pages 143-163, Springer, 2009. [doi]
Abstract is missing.