In legal papers filed Friday in U.S. District Court in Washington, the Justice Department argued that the government is under no obligation to make public the SEAL’s name or the names of Central Intelligence Agency personnel involved simply because officials shared their names, partial names or identities with the makers of a forthcoming movie about the raid, “Zero Dark Thirty.”

“The CIA and DoD did not authorize the filmmakers to make the names they shared with them public, to publicly associate the individuals with the CIA or DoD, or to expose those individuals’ identity in any publicly released film, and there was no reason for the CIA or DoD to have believed that any of this would have happened,” the Justice Department brief says. “In fact, [Undersecretary of Defense for Intelligence Mike] Vickers specifically told [filmmaker] Mark Boal, in providing him with the name of someone he could talk to, that ‘the only thing we ask is that you not reveal his name in any way as a consultant.'”