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

선택목록저장

검색간략리스트

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