A semantics for a logic of authentication (extended abstract) 论文

1991引用 219
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsCryptography and Data Security
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsCryptography and Data Security
关系图谱

A semantics for a logic of authentication (extended abstract) · 相关事件

暂无数据