Research on Federated Learning and Its Security Issues for Load Forecasting. | 0 | 0.34 | 2021 |
A RMF and AHP-Based Approach to Risk Assessment of Power Internet of Things. | 0 | 0.34 | 2020 |
An Extension of Formal Analysis Method with Reasoning - A Case Study of Flaw Detection for Non-repudiation and Fairness. | 0 | 0.34 | 2019 |
A Supporting Environment for Formal Analysis of Cryptographic Protocols. | 0 | 0.34 | 2017 |