BGPsec Protocol Specification.

Matt Lepinski Kotikalapudi Sriram

Published in: RFC (2017)

Keyphrases

protocol specification
communication protocols
formal specification
formal methods
databases
query processing
transformation rules
expert systems