Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification

Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Electrical and Information Technologies for Rail Transportation (4. : 2019 : Tsingtau) Proceedings of the 4th International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2019: Rail transportation information processing and operational management technologies
1. Verfasser: Lian, Huozhen (VerfasserIn)
Weitere Verfasser: Ma, Lianchuan (VerfasserIn), Cao, Yuan (VerfasserIn)
Pages:4
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Design of Route Search Algorithm Based on Station Map Information and Depth-First-Search 2020 Yang, Yahan
Multi-channel Man-in-the-Middle Attack Against Communication-Based Train Control Systems: Attack Implementation and Impact 2020 Chi, Mengchao
Optimization on Metro Timetable Considering Train Capacity and Passenger Demand from Intercity Railways 2020 Guo, Haiyang
Research on Pedestrian Traversal Time in T-Shaped Passage 2020 Liang, Mengdi
Research on FN-Based MCVideo Service for Railway Communication System 2020 Wang, Qingqing
Design and Development of a General Equilibrium Calculation System for Rail Vehicles 2020 Liu, Yuwen
Urban Rail Transit Power Monitoring System Techniques Based on Synchronous Phasor Measurement Unit 2020 Huang, Shize
Arrival Train Delays Prediction Based on Gradient Boosting Regression Tress 2020 Shi, Rui
Exploration on Innovation Education of Higher Vocational Automobile Specialty Based on Internet Thinking 2020 Yang, Lei
System Implementation of a Processing Subcontracting Business in SAP ERP Non-standard Subcontracting Scenarios 2020 Bing, Chenyang
Research on Passengers’ Choice of Subway Travel Intention Based on Structural Equation Model 2020 Xu, Yu ping
Adaptive Radio Resource Management Based on Soft Frequency Reuse (SFR) in Urban Rail Transit Systems 2020 Zhu, Ye
Simulation Analysis of Urban Rail Transit Hub Based on Complex Network 2020 Gao, Long
Research on Passenger Flow Distribution in Urban Rail Transit Hub Platform 2020 Gao, Long
Research on Dynamic Route Generation Algorithms for Passenger Evacuation in Metro Station 2020 Dong, Weiming
Estimation of Line Capacity for Railway 2020 Wei, Xu
A Fuzzy and Bayesian Network CREAM Model for Human Error Probability Quantification of the ATO System 2020 Jin, Jiangiang
Real-Time Train Detection Based on Improved Single Shot MultiBox Detector 2020 Xu, Yuchuan
Train Operational Plan Optimization of Rail Transit Connecting to Airport Ground Transport Center 2020 Li, Yamin
Defect Detection for Bird-Preventing and Fasteners on the Catenary Support Device Using Improved Faster R-CNN 2020 Liu, Jiahao
Alle Artikel auflisten