Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning
٢٠١٩
Formal Aspects in Security and Trust Formal Aspects in Security and Trust
٢٠١٠