Yeah, I'm pretty "confident" that the answer is in mIRC's help file under sockets. The default port for SSL socket is 443, compared to that of regular port 80:
Code:
sockopen -e $sockname www.YourWebsite.com 443
The rest is quite the same for scripting a non-SSL socket script.