Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy | IEEE Conference Publication | IEEE Xplore