A Program Logic for Verifying Secure Routing Protocols

DOI10.2168/LMCS-11(4:19)2015zbMath1448.68218arXiv1510.03531MaRDI QIDQ3460424

Chen Chen, Limin Jia, Hao Xu, Boon Thau Loo, Cheng Luo, Wenchao Zhou

Publication date: 7 January 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.03531

zbMATH Keywords

program logic; routing protocols; declarative networking

Mathematics Subject Classification ID

03B70: Logic in computer science

68M12: Network protocols

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

68M11: Internet topics

Related Items

SANDLog, VCGen

Uses Software

• Coq
• HOL/SPIN
• ProVerif
• RapidNet