Belief Manipulation: A Formal Model of Deceit in Message Passing Systems.

Published in: PAISI (2013)

Keyphrases

formal model
message passing
distributed systems
distributed shared memory
belief propagation
security patterns
formal models
probabilistic inference
higher order
factor graphs
sum product algorithm
graphical models
post processing
approximate inference
security properties