The history of this code in IEEE specs is old and irrelevant, but 9 years after writing it a curious thing happened. Last week (in 2011) I found some of the above code (written in 2002) in the Linux kernel. That's a bit surprising because nobody asked me permission and I never GPLed it.
What I did place in the public domain is the CCMP code and its earlier revisions.
But I was a little taken aback to see the TKIP code in the kernel with someone else's copyright on it.
I'm sorting this out and since people seem to want to use it, I've GPLed the rest of it. GPL headers have been placed on the files and the license is available on the same page.
If you belong to one of the companies that asked permission to use this code in product, this does not alter or revoke that permission.