Israel provided intelligence assistance to the United States during an operation to rescue a stranded US airman in Iran and halted its attacks in the area to facilitate the mission, an Israeli security official tells Reuters.