Zaslat SMS: Black-box models of computation in cryptology /