대구한의대학교 향산도서관

바구니

검색간략리스트

1.
저널기사
Security protocols over open networks and distributed systems:formal methods for their analysis, design, and verification / SGritzalis DSpinellis Georgiadis / Elsevier Science / Computer communications / 1999 /