Yuteng Lu, Meng Sun. Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 270-269, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]
@inproceedings{LuS18-9,
title = {Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things},
author = {Yuteng Lu and Meng Sun},
year = {2018},
doi = {10.18293/SEKE2018-060},
url = {https://doi.org/10.18293/SEKE2018-060},
researchr = {https://researchr.org/publication/LuS18-9},
cites = {0},
citedby = {0},
pages = {270},
booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018},
editor = {Óscar Mortágua Pereira},
publisher = {KSI Research Inc. and Knowledge Systems Institute Graduate School},
isbn = {1-891706-44-6},
}