If it is important enough, the government should demand ownership of the source code, not just take some binary and call it a day.