"How to Specify and How to Prove Correctness of Secure Routing Protocols ..."

Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-Pierre Hubaux (2006)

Details and statistics

DOI: 10.1109/BROADNETS.2006.4374344

access: closed

type: Conference or Workshop Paper

metadata version: 2017-06-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics