HDCP = Hollywood Dicks Causing Problems
This is not going to be an easy task, as you should well know. You will need all of the above stuff you already mentioned.
To take care of the HDCP on the HDMI, you need to strip it off. The popular way to do that is cheap HDMI splitters. But you may have to try several of those cheap Chinese models, to find one that will work (stripping off the HDCP).
I have also heard this works:
[Link: amazon.com]But I also heard the picture quality is degraded using it (it does some kind of analog conversion). But maybe good enough, the price is certainly right.
Then all you need is some capture software.