Zaslat SMS: Mathematical methods in defense analyses