Fixed NFR_Security0&1 (still need to fix the bad parameter bug).