Zaslat SMS: Risk Quantification and Allocation Methods for Practitioners