基于安全协议代码的形式化辅助建模研究.

Autor: 葛 艺, 黄文超, 熊 焰
Předmět:
Zdroj: Application Research of Computers / Jisuanji Yingyong Yanjiu; Apr2023, Vol. 40 Issue 4, p1189-1202, 14p
Databáze: Complementary Index