Yak Trax are for snow, not ice, though they're better than nothing for ice. When offroad they work well except where a water flow has frozen on a slope across a smooth trail. On pavement they are good except where there is smooth ice and you change driection on it, ice on a camber, or one way or another run anything but delicately.
In addition to the spikes built into shoes already mentioned there are ASICS Arctic that have replaceable spikes. They're not my favorite because they are not carbide tipped, so will wear down very quickly if you don't stick to ice and snow. Icebugs are better all round than these and I have a pair with several hundred km on them that have blunted but still offer reasonable grip.
Strap-on spikes are good for the odd occasion but I prefer a shoe with carbide spikes because I could spend a couple of months running on ice and/snow, so I choose either spikes or Yaktrax for the weather and route I expect.