Reading this article http://support.microsoft.com/kb/813878
I have a question: Where can I get ipseccmd.exe for Windows Server 2003?
From the article you link to:
IPSeccmd.exe is part of Windows XP Service Pack 2 (SP2) Support Tools.
A quick search suggests this is the download page: