Is it possible to configure port based authentication on ProCurve switches to allow only domain joined machines to connect to the network?
Yes. All of the mainstream ProCurve switches (E-Series) not sure about all the V-Series will support port authentication. They can use either IEEE 802.1x, web-auth or MAC-auth.