Jan Jürjens, Yijun Yu, Andreas Bauer 0002. Tools for Traceable Security Verification. In Erol Gelenbe, Samson Abramsky, Vladimiro Sassone, editors, Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008. pages 367-390, British Computer Society, 2008. [doi]
Abstract is missing.