You got it. The one on the left would be perfect. Google "555 calculator" and you'll find some easy web based calcs, but a 20K would be fine. 22K is easier to find I think.
I'd use a diode on the input though. Check your alarm output. It may float at 12V or may just pull to gorund in which case it doesn't need it.