Insecure example  Race condition –E.g., consider what happens if reading a file is done as: if (allowed(user, r , memory_location(filename)) then allow(user, r , memory_location(filename)) What if memory_location(filename) changes in the interim.
{}