Author:
Xu Sen,Yang Shuo,Zhang Kefei
Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. IEEE Std 802.16m-2011 [S];IEEE,2011
2. IEEE. Air interface for fixed and mobile broadband wireless access systems — Amendment 2: Physical and medium access control layers for combined fixed and mobile operation in licensed bands: IEEE Std 802.16e-2005 [S]. New York: IEEE, 2006.
3. HOARE C A R. Communicating sequential processes [J]. Communications of the ACM, 1978, 21(8): 666–677.
4. ROSCOE A W. Modelling and verifying key-exchange protocols using CSP and FDR [C]// The Eighth IEEE Computer Security Foundations Workshop. County Kerry, Ireland: IEEE, 1995: 98–107.
5. FDR2 User Manual. Failure-divergence refinement [M]. Oxford: Formal Systems (Europe) Ltd., 2000.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献