A key exchange system based on some bicyclic biquadratic number fields | IEEE Conference Publication | IEEE Xplore