A Framework for Modeling the Detection of Smuggled Nuclear Materials