The firewall that we use required the SonicWall NetExtender. However, none of the conventional tools to Fedora Linux worked with this (as far as the internet could tell me).
Good URL to help with that: http://askubuntu.com/questions/246332/how-to-get-netextender-vpn-working-in-ubuntu-12-10-x64. That URL gives descriptions for Ubuntu; I run Fedora 21 (because I prefer it).
The problems are these: there is no /lib/x86_64 directory and so you can ignore those instructions and I don’t want to keep the program in an unzipped directory for general use. I created a desktop link to the executable program and can run it most easily.