Security Model Checker for Rails