Longfei Zhu

Statistics

Publications

Citations

H-Index

Active since

2009

Affiliations

Shanghai Key Laboratory of Trustworthy Computing(Current)

East China Normal University

Longfei Zhu is an author at Shanghai Key Laboratory of Trustworthy Computing specializing in formal verification, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSystem SoftwareSystems EngineeringComputer EngineeringCryptographyData Security

Publications per year

2009–2014

Publications

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP

Yanhong Huang, Yongxin Zhao, Longfei Zhu et al. · 2011 · 43 citations

Engineering, System Programming, Verification +21

Modeling and Verification of CAN Bus with Application Layer using UPPAAL

Can Pan, Jian Guo, Longfei Zhu et al. · Electronic Notes in Theoretical Computer Science · 2014 · 24 citations · Full text

Engineering, Network Operation, Can Bus Protocol +17

Formal Modeling and Analyzing Kerberos Protocol

Qin Li, Fan Yang, Huibiao Zhu et al. · 2009 · 12 citations

Lightweight Authentication Mechanism, Csp Methods, Communication Participants +15

1–3 of 3