Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.

X. Li, J. Xu, G. Xu, J. Hao, X. Li, Z. Feng, and H. Gao. International Journal of Software Engineering and Knowledge Engineering, 26 (4): 563-586 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhiyong Wang

Zhiyong Xue

Zhiyong Zhang

Zhiyong Liu

Other publications of authors with the same name

On the security and improvement of a two-factor user authentication scheme in wireless sensor networks.D. Sun, J. Li, Z. Feng, Z. Cao, and G. Xu. Pers. Ubiquitous Comput., 17 (5): 895-905 (2013)Channel classification based fast spectrum sensing.M. Gao, X. Yan, Z. Feng, and P. Zhang. ICC Workshops, page 285-289. IEEE, (2014)A tractable approach to coexistence analysis between COMPASS and TD-LTE system.X. Han, L. Zhang, X. Yan, K. Chen, J. Min, C. Su, and Z. Feng. ICT, page 77-81. IEEE, (2014)Cooperative coexistence and resource allocation for V2X communications in LTE-unlicensed.Q. Wei, L. Wang, Z. Feng, and Z. Ding. CCNC, page 1-6. IEEE, (2018)Spectrum sensing in cognitive radios based on enhanced energy detector.J. Song, Z. Feng, P. Zhang, and Z. Liu. IET Commun., 6 (8): 805-809 (2012)A Method for Decompensation Prediction in Emergency and Harsh Situations.G. Rao, S. Zhao, L. Zhang, Q. Cong, and Z. Feng. APWeb/WAIM (2), volume 12318 of Lecture Notes in Computer Science, page 70-84. Springer, (2020)5G PRS-Based Sensing: A Sensing Reference Signal Approach for Joint Sensing and Communication System.Z. Wei, Y. Wang, L. Ma, S. Yang, Z. Feng, C. Pan, Q. Zhang, Y. Wang, H. Wu, and P. Zhang. IEEE Trans. Veh. Technol., 72 (3): 3250-3263 (March 2023)Performance of Cooperative Detection in Joint Communication-Sensing Vehicular Network: A Data Analytic and Stochastic Geometry Approach.H. Ma, Z. Wei, Z. Li, F. Ning, X. Chen, and Z. Feng. IEEE Trans. Veh. Technol., 72 (3): 3848-3863 (March 2023)Resource Allocation for Integrated Sensing and Communication in Digital Twin Enabled Internet of Vehicles.Y. Gong, Y. Wei, Z. Feng, F. Yu, and Y. Zhang. IEEE Trans. Veh. Technol., 72 (4): 4510-4524 (April 2023)Concurrent Downlink and Uplink Joint Communication and Sensing for 6G Networks.X. Chen, Z. Feng, Z. Wei, J. Zhang, X. Yuan, and P. Zhang. IEEE Trans. Veh. Technol., 72 (6): 8175-8180 (June 2023)

BibSonomy

Disambiguation of "Feng, Zhiyong"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.

Please choose a person to relate this publication to

Zhiyong Wang

Zhiyong Wang

Zhiyong Xue

Zhiyong Zhang

Zhiyong Liu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Feng, Zhiyong"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.

Please choose a person to relate this publication to

Zhiyong Wang

Zhiyong Wang

Zhiyong Xue

Zhiyong Zhang

Zhiyong Liu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.