Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy

Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson. Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. In Geyong Min, Yulei Wu, Lei (Chris) Liu, Xiaolong Jin, Stephen A. Jarvis, Ahmed Yassin Al-Dubai, editors, 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012. pages 785-792, IEEE Computer Society, 2012. [doi]

Authors

Aliaa M. Alabdali

This author has not been identified. Look up 'Aliaa M. Alabdali' in Google

Lilia Georgieva

This author has not been identified. Look up 'Lilia Georgieva' in Google

Greg Michaelson

This author has not been identified. Look up 'Greg Michaelson' in Google