Foundations of Security, Protocols, and Equational Reasoning المزيد من كتب Joshua D. Guttman, Carl E. Landwehr, José Meseguer & Dusko Pavlovic

Formal Aspects in Security and Trust

٢٠١٠