Provable security of S-BGP and other path vector protocols: model, analysis and extensions.

Alexandra Boldyreva Robert Lychev

Published in: CCS (2012)

Keyphrases

mathematical model
formal model
computational model
statistical model
high level
statistical databases
security model
neural network
control system