...
Yale CAS Server implementation notes
Deploying Yale CAS Server
...
Obtain the Yale CAS Server 2.x zip distribution from the link above. Unzip.
Other resources
There are articles which may also help you getting started deploying CAS Server. The ESUP-Portail Quick start distribution may also be a better way to get started with CAS Server. You could always read the README distributed with CAS Server.
Getting started
Configuring Tomcat to vend CAS via SSL
...
Of course, this requires that your cacerts contains a key, self-signed or otherwise, for your server. There's more documentation on SSL certificate issues here.
Installing the .war into Tomcat
...