A Program Logic for Verifying Secure Routing Protocols

DOI10.2168/LMCS-11(4:19)2015zbMath1448.68218arXiv1510.03531OpenAlexW2762861109MaRDI 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 logicrouting protocolsdeclarative networking

Mathematics Subject Classification ID

Logic in computer science (03B70) Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (2)

SANDLog ⋮ VCGen

Uses Software

• Coq
• HOL/SPIN
• ProVerif
• RapidNet

This page was built for publication: A Program Logic for Verifying Secure Routing Protocols