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]
@inproceedings{AlabdaliGM12,
title = {Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy},
author = {Aliaa M. Alabdali and Lilia Georgieva and Greg Michaelson},
year = {2012},
doi = {10.1109/TrustCom.2012.207},
url = {http://doi.ieeecomputersociety.org/10.1109/TrustCom.2012.207},
researchr = {https://researchr.org/publication/AlabdaliGM12},
cites = {0},
citedby = {0},
pages = {785-792},
booktitle = {11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012},
editor = {Geyong Min and Yulei Wu and Lei (Chris) Liu and Xiaolong Jin and Stephen A. Jarvis and Ahmed Yassin Al-Dubai},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-2172-3},
}