If Airport is not turned on select "Turn AirPort On" from the AirPort dropdown menu.
From the AirPort menu, select "MavNET-Encrypted"
You should see a "Verify Certificate" prompt for 802.1x Authentication. Click "Continue" to accept the certificate.
Next, an 802.1x Athentication prompt should ask you for your campus username and password (this is the same info that you log into your. Enter these in the appropriate boxes.
After entering your login information, you should see "MavNET-Encrypted" momentarily scrolling next to the AirPort icon in the Mac OS X menu bar. You should now be connected to MavNET.