I kid you not. Check out this story on Global Pensions. Of course it's not quite as exciting as it sounds, seeing as how Al-Qaeda isn't a listed company. Rather this is about avoiding companies that do business with regimes the US sees as linked to terrorism.
As ban aside I did like the idea of a terrorist attack prediction markets, but it got canned.