Provable Security of S-BGP and other Path Vector Protocols: Model, Analysis and Extensions.

Alexandra Boldyreva Robert Lychev

Published in: IACR Cryptol. ePrint Arch. (2013)

Keyphrases

experimental data
formal model
probabilistic model
risk assessment
information systems
management system
statistical model
neural network
objective function
computational model
mathematical model
conceptual model
default logic
security model